Extended primitive recursive functionsP. Mentrasti and M. ProtasiRAIRO. Inform. théor., 16 1 (1982) 73-84DOI: https://doi.org/10.1051/ita/1982160100731
