R. Péter, “Die prinzipielle Ausschaltbarkeit der rekursiven Prozeduren aus der Programmierungsprache Algol 60”, Acta Cybern, vol. 1, no. 4, pp. 219-231, Jan. 1972.