Cite Them Right 11th edition - Harvard

Avila, C. und Cheon, Y. (2013) Functional Verification of Class Invariants in Clean Java. doi:10.1007/978-1-4614-3535-8_88.

Chicago Manual of Style 17th edition (full note)

Avila, Carmen, und Yoonsik Cheon. Functional Verification of Class Invariants in Clean Java. https://doi.org/10.1007/978-1-4614-3535-8_88.

American Psychological Association 7th edition

Avila, C., & Cheon, Y. (2013). Functional Verification of Class Invariants in Clean Java. https://doi.org/10.1007/978-1-4614-3535-8_88

Modern Language Association 9th edition

Avila, C., und Y. Cheon. Functional Verification of Class Invariants in Clean Java. 2013, https://doi.org/10.1007/978-1-4614-3535-8_88.

ISO-690 (author-date, Deutsch)

AVILA, Carmen und Yoonsik CHEON, 2013. Functional Verification of Class Invariants in Clean Java

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