Arun David Raghavan, & The Pennsylvania State University Cite Seer X Archives. (2000). Design of a JML Documentation Generator. ftp://ftp.cs.iastate.edu/pub/techreports/TR00-12/TR.ps.Gz.
ISO-690 (author-date, English)ARUN DAVID RAGHAVAN und THE PENNSYLVANIA STATE UNIVERSITY CITESEERX ARCHIVES, 2000. Design of a JML Documentation Generator. ftp://ftp.cs.iastate.edu/pub/techreports/TR00-12/TR.ps.gz. 1 Januar 2000.
Modern Language Association 9th editionArun David Raghavan, und The Pennsylvania State University Cite Seer X Archives. „Design of a JML Documentation Generator“. ftp://ftp.cs.iastate.edu/pub/techreports/TR00-12/TR.ps.Gz, Januar 2000.
Mohr Siebeck - Recht (Deutsch - Österreich)Arun David Raghavan/The Pennsylvania State University Cite Seer X Archives: Design of a JML Documentation Generator, ftp://ftp.cs.iastate.edu/pub/techreports/TR00-12/TR.ps.gz 2000,
Emerald - HarvardArun David Raghavan und The Pennsylvania State University Cite Seer X Archives. (2000), „Design of a JML Documentation Generator“, ftp://ftp.cs.iastate.edu/pub/techreports/TR00-12/TR.ps.Gz.