de Bakker. Mathematical Theory of Program Correctness (0)