Cite Them Right 11th edition - Harvard

Yoonsik Cheon, Carmen Avila and The Pennsylvania State University Cite Seer X Archives (2013) “Constructing verifiably correct Java programs using OCL and Clean Java”, http://www.cs.utep.edu/cheon/techreport/tr13-15.pdf [Preprint].

Chicago Manual of Style 17th edition (full note)

Yoonsik Cheon, Carmen Avila, and The Pennsylvania State University Cite Seer X Archives. “Constructing Verifiably Correct Java Programs Using OCL and Clean Java”. http://www.cs.utep.edu/cheon/techreport/tr13-15.Pdf, January 1, 2013.

American Psychological Association 7th edition

Yoonsik Cheon, Carmen Avila, & The Pennsylvania State University Cite Seer X Archives. (2013). Constructing verifiably correct Java programs using OCL and Clean Java. http://www.cs.utep.edu/cheon/techreport/tr13-15.Pdf.

Modern Language Association 9th edition

Yoonsik Cheon, Carmen Avila, and The Pennsylvania State University Cite Seer X Archives. “Constructing Verifiably Correct Java Programs Using OCL and Clean Java”. http://www.cs.utep.edu/cheon/techreport/tr13-15.Pdf, Jan. 2013.

ISO-690 (author-date, Deutsch)

YOONSIK CHEON, CARMEN AVILA and THE PENNSYLVANIA STATE UNIVERSITY CITESEERX ARCHIVES, 2013. Constructing verifiably correct Java programs using OCL and Clean Java. http://www.cs.utep.edu/cheon/techreport/tr13-15.pdf. 1 January 2013

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