@inproceedings{DBLP:conf/sigsoft/Hoare93,
  title = "Algebra and Models",
  author = "C. A. R. Hoare",
  year = "1993",
  booktitle = "SIGSOFT '93, Proceedings of the First ACM SIGSOFT Symposium on Foundations of Software Engineering, Los Angeles, California, USA, December 7-10, 1993",
  editor = "David Notkin",
  pages = "1-8",
  publisher = "ACM",
  doi = "10.1145/256428.167053",
}