Theory and Applications of Models of Computation - Gopal; Jäger, Gerhard; Steila, Silvia (Springer International Publishing, 2017)