Recursive program schemes: semantics and proof theory (1976)

by W P de Roever