Fundamentals of Computation Theory - Budach, Lothar (Berlin S-V, 1985)