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

Σταυρίδου Βικτωρία. (1993). Formal methods in circuit design. Cambridge University Press.

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

Σταυρίδου Βικτωρία. Formal Methods in Circuit Design. Cambridge University Press, 1993.

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

Σταυρίδου Βικτωρία. Formal Methods in Circuit Design. Cambridge University Press, 1993.