Programming. The Derivation of Algorithms (1990)

by A Kaldewaij