Recursive programs as predicate transformers - Bakker, Jacobus W. de 1939-2012 (1977)