American Psychological Association 6th edition

Wahls, T., Leavens, G. T., & Baker, A. L. (2000). Executing Formal Specifications with Concurrent Constraint Programming. Automated Software Engineering: An International Journal, 7(4), 315-343. https://doi.org/10.1023/a:1026554217992

ISO-690 (author-date, English)

WAHLS, Tim, LEAVENS, Gary T. und BAKER, Albert L., 2000. Executing Formal Specifications with Concurrent Constraint Programming. Automated Software Engineering: An International Journal. 1 Dezember 2000. Vol. 7, no. 4, p. 315-343. DOI 10.1023/a:1026554217992.

Modern Language Association 9th edition

Wahls, T., G. T. Leavens, und A. L. Baker. „Executing Formal Specifications With Concurrent Constraint Programming“. Automated Software Engineering: An International Journal, Bd. 7, Nr. 4, Dezember 2000, S. 315-43, https://doi.org/10.1023/a:1026554217992.

Mohr Siebeck - Recht (Deutsch - Österreich)

Wahls, Tim/Leavens, Gary T./Baker, Albert L.: Executing Formal Specifications with Concurrent Constraint Programming, Automated Software Engineering: An International Journal 2000, 315-343.

Emerald - Harvard

Wahls, T., Leavens, G.T. und Baker, A.L. (2000), „Executing Formal Specifications with Concurrent Constraint Programming“, Automated Software Engineering: An International Journal, Vol. 7 No. 4, S. 315-343.

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