Robert L. Constable Scott F. Smith Computational Foundations of Basic Recursive Function Theory. 89-112 1993 121 Theor. Comput. Sci. 1&2 db/journals/tcs/tcs121.html#ConstableS93