P.J. Voda, "Subrecursion as a Basis for a Feasible Programming Language," Proc. CSL'94, Lecture Notes in Computer Science 933, Springer-Verlag, 1994, pp. 324-338.

Languages mentioned

• Trilogy II {1988}