Concurrency, Security, and Puzzles - Thomas Gibson-Robinson, Philippa Hopcroft, Ranko Lazi? (Springer, 2017)