Eerder verschenen als proefschrift Amsterdam, V.U., 1974
Recursive program schemes : semantics and proof theory
Recursive program schemes : semantics and proof theory / W.P. de Roever, Jr