Didrich, K., & Fett, A. (1994). Verifying OPAL. Technische Univ. Berlin, Fachbereich 13, Informatik.
Chicago-Zitierstil (17. Ausg.)Didrich, Klaus, und Andreas Fett. Verifying OPAL. Berlin: Technische Univ. Berlin, Fachbereich 13, Informatik, 1994.
MLA-Zitierstil (9. Ausg.)Didrich, Klaus, und Andreas Fett. Verifying OPAL. Technische Univ. Berlin, Fachbereich 13, Informatik, 1994.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.