Recursive procedures - Bakker, Jacobus W. de 1939-2012 (Mathematisch Centrum, 1971)