References

Glover, Paul. 2014. Verification and Validation for the AQuA Book. DSTL Portsdown West Portsdown Hill Road Fareham PO17 6AD: HM Government. https://www.gov.uk/government/publications/verification-and-validation-for-the-aqua-book.
Knuth, Donald E. 1984. “Literate Programming.” Comput. J. 27 (2): 97–111. https://doi.org/10.1093/comjnl/27.2.97.

(For information, not part of the draft: example of a citation reference linked to references.bib file: See Knuth (1984) for additional discussion of literate programming. )