Hierarchien primitiv-rekursiver Funktionen im Transfiniten. M.E. Schröder (1970) Archiv für mathematische Logik und Grundlagenforschung
Horn clause programs and recursive functions defined by systems of equations Jan Šebelík (1982) Kybernetika