Programming: The Derivation of Algorithms. Prentice-Hall: Upper Saddle River (1990)

by A Kaldewaij