Theory and Applications of Models of Computation - Ogihara, Mitsunori; Kanade, Takeo; Tarui, Jun; Kittler, Josef (Springer Berlin Heidelberg, 2011)