Mathematical Theory of Program Correctness - Bakker, J. W. de, 1939-2012 (Prentice-Hall international series in computer science, 1980)