Models of Computation - Fernández, Maribel; Abramsky, Samson; Mackie, Ian; edited by Ian Mackie, Samson Abramsky, Chris Hankin, Dexter Kozen, Andrew Pitts, Hanne Riis Nielson, Steven Skiena, Ian Stewart, David Zhang; Hankin, Chris (Springer London, 2009)