Theory and Applications of Models of Computation - Chen, Jianer; Cooper, S. Barry; Kanade, Takeo; Cooper, Barry S.; Kittler, Josef (Springer Berlin Heidelberg, 2009)