The Algebraic Theory of Recursire (1975)

by R M Burstall, J W Thatcher
Venue:Program Schemes, Symposium on Category Theory Applied to Computation and Control, Lecture Notes in Computer Science