Computational foundations of basic recursive function theory (1988)

by Robert L Constable, Scott Fraser Smith
Venue:In Third IEEE Symposium on Logic in Computer Science