Computational foundations of basic recursive function theory (1993)

by Robert L Constable, Scott F Smith
Venue:Journal of Theoretical Computer Science