Theory and Applications of Models of Computation - Hutchison, David; Kanade, Takeo; Kittler, Josef; Lau, Lap Chi; Trevisan, Luca (Springer Berlin Heidelberg, 2013)