Computability and Decidability An Introduction for Students of Computer Science - Loeckx, J. (Springer Berlin Heidelberg, 1972)