Theory and Applications of Models of Computation - Jain (Springer International Publishing, 2015)