Recursive Definitions of Partial Functions and Their Computations (1972)

by J M Cadiou