American Psychological Association 6th edition

Alba-Castro, M., Alpuente, M., Escobar, S., Ojeda, P., & Romero, D. (2009). A Tool for Automated Certification of Java Source Code in Maude. ENTCS: Electronic Notes in Theoretical Computer Science, 248, 19-29. https://doi.org/10.1016/j.entcs.2009.07.056

ISO-690 (author-date, English)

ALBA-CASTRO, M., ALPUENTE, M., ESCOBAR, S., OJEDA, P. und ROMERO, D., 2009. A Tool for Automated Certification of Java Source Code in Maude. ENTCS: Electronic Notes in Theoretical Computer Science. 5 August 2009. Vol. 248, , p. 19-29. DOI 10.1016/j.entcs.2009.07.056.

Modern Language Association 9th edition

Alba-Castro, M., M. Alpuente, S. Escobar, P. Ojeda, und D. Romero. „A Tool for Automated Certification of Java Source Code in Maude“. ENTCS: Electronic Notes in Theoretical Computer Science, Bd. 248, August 2009, S. 19-29, https://doi.org/10.1016/j.entcs.2009.07.056.

Mohr Siebeck - Recht (Deutsch - Österreich)

Alba-Castro, M./Alpuente, M./Escobar, S./Ojeda, P./Romero, D.: A Tool for Automated Certification of Java Source Code in Maude, ENTCS: Electronic Notes in Theoretical Computer Science 2009, 19-29.

Emerald - Harvard

Alba-Castro, M., Alpuente, M., Escobar, S., Ojeda, P. und Romero, D. (2009), „A Tool for Automated Certification of Java Source Code in Maude“, ENTCS: Electronic Notes in Theoretical Computer Science, Vol. 248, S. 19-29.

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