Péter, R. 1972. Die prinzipielle Ausschaltbarkeit der rekursiven Prozeduren aus der Programmierungsprache Algol 60. Acta Cybernetica. 1, 4 (Jan. 1972), 219-231.