Cite Them Right 11th edition - Harvard

Cheon, Y., Yeep, C. und Vela, M. (2011) „Clean Java: A Formal Notation for Functional Program Verification“, in. doi:10.1109/ITNG.2011.46.

Chicago Manual of Style 17th edition (full note)

Cheon, Yoonsik, Cesar Yeep, und Melisa Vela. „Clean Java: A Formal Notation for Functional Program Verification“. In . https://doi.org/10.1109/ITNG.2011.46.

American Psychological Association 7th edition

Cheon, Y., Yeep, C., & Vela, M. (2011, April 1). Clean Java: A Formal Notation for Functional Program Verification. https://doi.org/10.1109/ITNG.2011.46

Modern Language Association 9th edition

Cheon, Y., C. Yeep, und M. Vela. Clean Java: A Formal Notation for Functional Program Verification. 2011, https://doi.org/10.1109/ITNG.2011.46.

ISO-690 (author-date, Deutsch)

CHEON, Yoonsik, Cesar YEEP und Melisa VELA, 2011. Clean Java: A Formal Notation for Functional Program Verification. In: . 1 April 2011

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.