dissertation.bib

@phdthesis{bellovin:verifiably,
  address = {Chapel Hill, NC},
  author = {Steven M. Bellovin},
  month = {December},
  school = {Department of Computer Science, University of North
		  Carolina},
  smb-major = {yes},
  title = {Verifiably Correct Code Generation Using Predicate
		  Transformers},
  url = {https://www.cs.columbia.edu/~smb/dissabstract.html},
  year = 1982,
  bdsk-url-1 = {https://www.cs.columbia.edu/~smb/dissabstract.html}
}