references.bib

@article{knuth84,
  author = {Knuth, Donald E.},
  title = {Literate Programming},
  year = {1984},
  issue_date = {May 1984},
  publisher = {Oxford University Press, Inc.},
  address = {USA},
  volume = {27},
  number = {2},
  issn = {0010-4620},
  url = {https://doi.org/10.1093/comjnl/27.2.97},
  doi = {10.1093/comjnl/27.2.97},
  journal = {Comput. J.},
  month = may,
  pages = {97–111},
  numpages = {15}
}

@book{glover2014,
  author = {Glover, Paul},
  title = {Verification and validation for the AQuA Book},
  year = {2014},
  issue_date = {September 2014},
  publisher = {HM Government},
  address = {DSTL Portsdown West Portsdown Hill Road Fareham PO17 6AD},
  url = {https://www.gov.uk/government/publications/verification-and-validation-for-the-aqua-book},
  month = september,
  numpages = {30}
}