Recursive program schemes : semantics and proof theory - Roever, W.-P. de (Mathematical Centre tracts, 1976)