Effective operations on partial recursive functions (1955)

by J Myhill, J C Shepherdson