Recursive program schemes : semantics and proof theory
Recursive program schemes : semantics and proof theory / Willem Paul de Roever Jr