Cite Them Right 11th edition - Harvard

Yoonsik Cheon, Cesar Yeep, Melisa Vela and The Pennsylvania State University Cite Seer X Archives (no date) “Clean Java: A formal notation for functional program verification”, http://www.cs.utep.edu/cheon/techreport/tr10-49.pdf [Preprint].

Chicago Manual of Style 17th edition (full note)

Yoonsik Cheon, Cesar Yeep, Melisa Vela, and The Pennsylvania State University Cite Seer X Archives. “Clean Java: A Formal Notation for Functional Program Verification”. http://www.cs.utep.edu/cheon/techreport/tr10-49.Pdf, n.d.

American Psychological Association 7th edition

Yoonsik Cheon, Cesar Yeep, Melisa Vela, & The Pennsylvania State University Cite Seer X Archives. (n.d.). Clean Java: A formal notation for functional program verification. http://www.cs.utep.edu/cheon/techreport/tr10-49.Pdf.

Modern Language Association 9th edition

Yoonsik Cheon, Cesar Yeep, Melisa Vela, and The Pennsylvania State University Cite Seer X Archives. “Clean Java: A Formal Notation for Functional Program Verification”. http://www.cs.utep.edu/cheon/techreport/tr10-49.Pdf.

ISO-690 (author-date, Deutsch)

YOONSIK CHEON, CESAR YEEP, MELISA VELA and THE PENNSYLVANIA STATE UNIVERSITY CITESEERX ARCHIVES, [kein Datum]. Clean Java: A formal notation for functional program verification. http://www.cs.utep.edu/cheon/techreport/tr10-49.pdf

Warning: These citations may not always be 100% accurate.