Mathematical theory of program correctness. - Jacobus W. de Bakker; Arie de Bruin; Jeffrey Zucker (Prentice Hall, 1980)