Cheon, Y. und Avila, C. (2013) „Constructing Verifiably Correct Java Programs Using OCL and Clean Java“, Departmental Technical Reports (CS [Preprint].
Chicago Manual of Style 17th edition (full note)Cheon, Yoonsik, und Carmen Avila. „Constructing Verifiably Correct Java Programs Using OCL and Clean Java“. Departmental Technical Reports (CS, 1. Januar 2013.
American Psychological Association 7th editionCheon, Y., & Avila, C. (2013). Constructing Verifiably Correct Java Programs Using OCL and Clean Java. Departmental Technical Reports (CS.
Modern Language Association 9th editionCheon, Y., und C. Avila. „Constructing Verifiably Correct Java Programs Using OCL and Clean Java“. Departmental Technical Reports (CS, Januar 2013.
ISO-690 (author-date, Deutsch)CHEON, Yoonsik und Carmen AVILA, 2013. Constructing Verifiably Correct Java Programs Using OCL and Clean Java. Departmental Technical Reports (CS. 1 Januar 2013