@misc{indiciae68fb2c0bf8fc,
  title = {A General Framework for Sound and Complete Floyd-Hoare Logics},
  author = {Rob Arthan and Ursula Martin and Erik A. Mathiesen and Paulo Oliva},
  year = {2008},
  doi = {10.1145/1614431.1614438},
  url = {https://arxiv.org/abs/0807.1016},
  note = {Source identifier: 0807.1016}
}