Eine Funktionalinterpretation der prädikativen Analysis. Wolfgang Maaß (1977) Archiv für mathematische Logik und Grundlagenforschung
Extended primitive recursive functions P. Mentrasti, M. Protasi (1982) RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications