Mathematical theory of program correctness. - de Bakker, Jaco