R. Péter, “Die Rekursivität der Programmierungsprache "Lisp 1.5" in Spezialfällen der angeordneten freien holomorphen Mengen”, Acta Cybern, vol. 2, no. 3, pp. 183-201, Jan. 1975.