@inproceedings{martin2006hoare,
  title = "Hoare logic in the abstract",
  author = "Martin, Ursula and Mathiesen, Erik A and Oliva, Paulo",
  year = "2006",
  booktitle = "International Workshop on Computer Science Logic",
  organization = "Springer, Berlin, Heidelberg",
  pages = "501--515",
}