Theory and Applications of Models of Computation - Hutchison, David; Kanade, Takeo; Cooper, Barry S.; Li, Angsheng (Springer Berlin Heidelberg, 2012)