Fundamentals of Computation Theory - Evripidis Bampis, Aris Pagourtzis (Springer, 2021)