Die prinzipielle Ausschaltbarkeit der rekursiven Prozeduren aus der Programmierungsprache Algol 60 - Péter, Rózsa (Acta Cybernetica, 1972)