A calculus for recursive program schemes - Bakker, Jacobus W. de 1939-2012; Roever, Willem-Paul de 1943- (1972)