David R. Cok, Joseph R. Kiniry und The Pennsylvania State University Cite Seer X Archives (ohne Datum) „ESC/Java2: Uniting ESC/Java and JML: Progress and issues in building and using ESC/Java2 and a report on a case study involving the use of ESC/Java2 to verify portions of an Internet voting tally system“, http://secure.ucd.ie/products/opensource/ESCJava2/ESCTools/papers/NIII-R0413.pdf [Preprint].
Chicago Manual of Style 17th edition (full note)David R. Cok, Joseph R. Kiniry, und The Pennsylvania State University Cite Seer X Archives. „ESC/Java2: Uniting ESC/Java and JML: Progress and Issues in Building and Using ESC/Java2 and a Report on a Case Study Involving the Use of ESC/Java2 to Verify Portions of an Internet Voting Tally System“. http://secure.ucd.ie/products/opensource/ESCJava2/ESCTools/papers/NIII-R0413.Pdf, o. J.
American Psychological Association 7th editionDavid R. Cok, Joseph R. Kiniry, & The Pennsylvania State University Cite Seer X Archives. (o. J.). ESC/Java2: Uniting ESC/Java and JML: Progress and issues in building and using ESC/Java2 and a report on a case study involving the use of ESC/Java2 to verify portions of an Internet voting tally system. http://secure.ucd.ie/products/opensource/ESCJava2/ESCTools/papers/NIII-R0413.Pdf.
Modern Language Association 9th editionDavid R. Cok, Joseph R. Kiniry, und The Pennsylvania State University Cite Seer X Archives. „ESC/Java2: Uniting ESC/Java and JML: Progress and Issues in Building and Using ESC/Java2 and a Report on a Case Study Involving the Use of ESC/Java2 to Verify Portions of an Internet Voting Tally System“. http://secure.ucd.ie/products/opensource/ESCJava2/ESCTools/papers/NIII-R0413.Pdf.
ISO-690 (author-date, Deutsch)DAVID R. COK, JOSEPH R. KINIRY und THE PENNSYLVANIA STATE UNIVERSITY CITESEERX ARCHIVES, [kein Datum]. ESC/Java2: Uniting ESC/Java and JML: Progress and issues in building and using ESC/Java2 and a report on a case study involving the use of ESC/Java2 to verify portions of an Internet voting tally system. http://secure.ucd.ie/products/opensource/ESCJava2/ESCTools/papers/NIII-R0413.pdf