Programming: The derivation of algorithms (1990)

by A Kaldewaij