@article{DBLP:journals/annals/Hoare03,
  title = "Assertions: A Personal Perspective",
  author = "C. A. R. Hoare",
  year = "2003",
  journal = "IEEE Annals of the History of Computing",
  number = "2",
  pages = "14-25",
  volume = "25",
  doi = "10.1109/MAHC.2003.1203056",
}