Stavridou, V. (1993). Formal methods in circuit design. Cambridge.
Citazione stile Chigago Style (17a edizione)Stavridou, V. Formal Methods in Circuit Design. New York: Cambridge, 1993.
Citatione MLA (9a ed.)Stavridou, V. Formal Methods in Circuit Design. Cambridge, 1993.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.