Computability and decidability: an introduction for strudenta of computer computer science -68 - Loeckx J (Berlin Springer-Verlag, 1972)
Appendix 71-76p