Leszek Gasieniec, Frank Wolter Fundamentals of Computation Theory - Springer 2013 - Lecture Notes in Computer Science . ISBN: 9783642401640 Subjects--Index Terms: Theory of Computation; Discrete Mathematics in Computer Science