Theory and Applications of Models of Computation - KratochvÃl, Jan; Kanade, Takeo; Li, Angsheng; Fiala, Jiri; Kolman, Petr (Springer Berlin Heidelberg, 2010)