Παραπομπή σε μορφή APA (7η εκδ.)

Przigoda, N., Wille, R., Przigoda, J., & Drechsler, R. (2018). Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers.

Παραπομπή σε μορφή Chicago (17η εκδ.)

Przigoda, Nils, Robert Wille, Judith Przigoda, και Rolf Drechsler. Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers. 2018.

Παραπομπή σε μορφή MLA (9th εκδ.)

Przigoda, Nils, et al. Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers. 2018.