Concurrency, Security, and Puzzles : Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday - Gibson-Robinson, Thomas. (Springer International Publishing : Imprint: Springer, 2017)