Concurrency, Security, and Puzzles : Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday - Gibson-Robinson, Thomas.; Hopcroft, Philippa.; Lazić, Ranko. (Programming and Software Engineering, 2017)