Abstract recursion as a foundation for the theory of algorithms
1984 ◽
pp. 289-364
◽