@article{MoellerO’HearnHoare2021,
  author    = {Bernhard M{\"o}ller and Peter O'Hearn and Tony Hoare},
  title     = {On algebra of program correctness and incorrectness},
  journal   = {Lecture Notes in Computer Science},
  volume    = {13027},
  pages     = {325 -- 343},
  doi       = {10.1007/978-3-030-88701-8_20},
  year      = {2021},
}