P. Mentrasti M. Protasi Extended Primitive Recursive Functions. 73-84 1982 16 ITA 1 db/journals/ita/ita16.html#MentrastiP82