Recursive program schemes : semantics and proof theory / door Willem Paul de Roever Jr
Proefschrift Amsterdam, Vrije Universiteit
Recursive program schemes : semantics and proof theory