Rekursive Funktionen in der Komputer-Theorie - Péter, Rozsa (Akad. Kiado, 1976)