Fundamentals of Computation Theory - GÄ…sieniec; Jansson, Jesper; Levcopoulos, Christos (Springer International Publishing, 2019)