Cite Them Right 11th edition - Harvard

Struth, G. (2006) A Calculus for Set-Based Program Development Part II: Proof Search [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-1730.

Chicago Manual of Style 17th edition (full note)

Struth, Georg. A Calculus for Set-Based Program Development Part II: Proof Search. Cd. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg. Augsburg: Universität Augsburg, [2006?], Augsburg: Universität Augsburg, [2006?]. https://doi.org/urn:nbn:de:bvb:384-opus4-1730.

American Psychological Association 7th edition

Struth, G. (ca. 2006). A Calculus for Set-Based Program Development Part II: Proof Search [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-1730

Modern Language Association 9th edition

Struth, G. „A Calculus for Set-Based Program Development Part II: Proof Search“. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg, cd, Universität Augsburg, 2006, https://doi.org/urn:nbn:de:bvb:384-opus4-1730.

ISO-690 (author-date, Deutsch)

STRUTH, Georg, 2006. A Calculus for Set-Based Program Development Part II: Proof Search. Augsburg: Universität Augsburg

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