Fundamentals of Computation Theory - Gsieniec, Leszek; Wolter, Frank (Springer Berlin Heidelberg, 2013)