Theory and Applications of Models of Computation - Jain; Jain, Sanjay; Stephan, Frank (Springer International Publishing, 2015)