@InProceedings{MuellerShankar21,
  author = 	 {P. M\"uller and N. Shankar},
  editor = 	 {C. B. Jones and J. Misra},
  booktitle = 	 {Theories of Programming: The Life and Works of Tony Hoare},
  title = 	 {The First Fifteen Years of the Verified Software Project},
  publisher = 	 {ACM},
  year = 	 {2021},
  pages = 	 {93--123},
  url          = {https://dl.acm.org/doi/book/10.1145/3477355},
  urltext      = {[Publisher]}
}