Theory and Applications of Models of Computation - Gopal (Springer International Publishing, 2019)