Rekursive Funktionen - Péter, Rozsa (1967)