Extended primitive recursive functions P. Mentrasti; M. Protasi — 1982 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications