Fundementals of computation theory - Karpinski, Marek (Lecture notes in computer science, 1977)