Rod M. Burstall, James W. Thatcher. The algebraic theory of recursive program schemes. In Ernest G. Manes, editor, Category Theory Applied to Computation and Control, Proceedings of the First International Symposium, San Francisco, CA, USA, February 25-26, 1974, Proceedings. Volume 25 of Lecture Notes in Computer Science, pages 126-131, Springer, 1974.
Abstract is missing.