Stavridou, V. (1993). Formal methods in circuit design. Cambridge.
Chicago-referens (17:e uppl.)Stavridou, V. Formal Methods in Circuit Design. New York: Cambridge, 1993.
MLA-referens (9:e uppl.)Stavridou, V. Formal Methods in Circuit Design. Cambridge, 1993.
Varning: dessa hänvisningar är inte alltid fullständigt riktiga.