Péter, R. (1975). Die Rekursivität der Programmierungsprache "Lisp 1.5" in Spezialfällen der angeordneten freien holomorphen Mengen. Acta Cybernetica, 2(3), 183-201. Retrieved from https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3114