Fundamentals of Computation Theory - Ralf Klasing, Marc Zeitoun (Springer, 2017)