Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky - Hutchison, David; Kanade, Takeo; Kittler, Josef; Ong, Luke; Panangaden, Prakash (Springer Berlin Heidelberg, 2013)