Theory and Applications of Models of Computation - Cai, Jin-Yi; Cooper, S. Barry; Kanade, Takeo; Li, Angsheng; Cooper, Barry S. (Springer Berlin / Heidelberg, 2006)