APA način citiranja (7. izdanje)

Stavridou, V. (1993). Formal methods in circuit design. Cambridge.

Čikaški stil citiranja (17. izdanje)

Stavridou, V. Formal Methods in Circuit Design. New York: Cambridge, 1993.

MLA način citiranja (9. izdanje)

Stavridou, V. Formal Methods in Circuit Design. Cambridge, 1993.