APA-viite (7. p.)
Stavridou, V. (1993). Formal methods in circuit design. Cambridge.
Chicago-viite (17. p.)
Stavridou, V. Formal Methods in Circuit Design. New York: Cambridge, 1993.
MLA-viite (9. p.)
Stavridou, V. Formal Methods in Circuit Design. Cambridge, 1993.
Varoitus: Nämä viitteet eivät aina ole täysin luotettavia.