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