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

Σταυρόπουλος, Η. Χ., καββαδίας, Δ. Ι., Kavvadias Dimitris J., & Stavropoulos Elias C. (2003). Checking monotone boolean duality with limited nondeterminism: TECHNICAL REPORT No.2003/07/02. CTI.

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

Σταυρόπουλος, Ηλίας Χ., Δημήτρης Ι καββαδίας, Kavvadias Dimitris J., και Stavropoulos Elias C. Checking Monotone Boolean Duality with Limited Nondeterminism: TECHNICAL REPORT No.2003/07/02. Patras-Hellas: CTI, 2003.

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

Σταυρόπουλος, Ηλίας Χ., et al. Checking Monotone Boolean Duality with Limited Nondeterminism: TECHNICAL REPORT No.2003/07/02. CTI, 2003.