% A thesis's references, as exported from a reference manager.
@string{cacm = "Communications of the ACM"}

@article{knuth1974,
  author  = {Donald E. Knuth},
  title   = {Structured Programming with {go to} Statements},
  journal = {ACM Computing Surveys},
  year    = 1974,
  month   = dec,
  volume  = 6,
  number  = 4,
  pages   = {261--301},
  doi     = {10.1145/356635.356640}
}

@article{dijkstra1968,
  author  = {Dijkstra, Edsger W.},
  title   = {Go To Statement Considered Harmful},
  journal = cacm,
  year    = {1968},
  month   = mar,
  volume  = {11},
  number  = {3},
  pages   = {147--148}
}

@book{goedel1931,
  author    = {G{\"o}del, Kurt and von Neumann, John},
  title     = {{\"U}ber formal unentscheidbare S{\"a}tze},
  publisher = {Springer},
  year      = {1931}
}

@inproceedings{lamport1978,
  author    = {Lamport, Leslie and Shostak, Robert and Pease, Marshall},
  title     = {Time, Clocks, and the Ordering of Events},
  booktitle = {Proceedings of the 5th Symposium on Operating Systems},
  pages     = {1--10},
  year      = {1978},
  url       = {https://example.org/lamport.pdf}
}