Programming : the derivation of algorithms - Kaldewaij, Anne (Prentice-Hall, 1990)