Dunets, A., Bäumler, S., Hommersom, A. und Reif, W. (2009) Model Checking of Asbru [cd], Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg. Augsburg: Universität Augsburg. doi:urn:nbn:de:bvb:384-opus4-10861.
Chicago Manual of Style 17th edition (full note)Dunets, Andriy, Simon Bäumler, Arjen Hommersom, und Wolfgang Reif. Model Checking of Asbru. Cd. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg. Augsburg: Universität Augsburg, [2009?], Augsburg: Universität Augsburg, [2009?]. https://doi.org/urn:nbn:de:bvb:384-opus4-10861.
American Psychological Association 7th editionDunets, A., Bäumler, S., Hommersom, A., & Reif, W. (ca. 2009). Model Checking of Asbru [Cd]. In Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg. Universität Augsburg. https://doi.org/urn:nbn:de:bvb:384-opus4-10861
Modern Language Association 9th editionDunets, A., S. Bäumler, A. Hommersom, und W. Reif. „Model Checking of Asbru“. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg, cd, Universität Augsburg, 2009, https://doi.org/urn:nbn:de:bvb:384-opus4-10861.
ISO-690 (author-date, Deutsch)DUNETS, Andriy, Simon BÄUMLER, Arjen HOMMERSOM und Wolfgang REIF, 2009. Model Checking of Asbru. Augsburg: Universität Augsburg