@article{Hoare73a,
  title = "An Axiomatic Definition of the Programming Language {PASCAL}",
  author = "C.A.R. Hoare and N. Wirth",
  year = "1973",
  journal = "Acta Informatica",
  number = "4",
  pages = "335--355",
  volume = "2",
}