Mathematical theory of program correctness - de Bakker, Jaco (International Series in Computer Science / Prentice-Hall Inc.., 1980)