Mathematical theory of program correctness - Bakker, Jaco de (Prentice-Hall, 1980)