Subrecursion as a basis for a feasible programming language (1995)

by P J Voda
Venue:Proceedings of CSL'94, number 933 in LNCS