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.