Enviar aquest missatge de text: Recursive program schemes : semantics and proof theory / W. P. de Roever, Jr.