Bernhard Möller, Peter W. O'Hearn, Tony Hoare: On Algebra of Program Correctness and Incorrectness. RAMiCS 2021: 325-343