@inproceedings{DBLP:conf/nato/Hoare96,
  title = "Mathematical models for computing science",
  author = "C. A. R. Hoare",
  year = "1996",
  booktitle = "Proceedings of the NATO Advanced Study Institute on Deductive Program Design, Marktoberdorf, Germany",
  editor = "Manfred Broy",
  pages = "115-164",
}