Stavridou, V. (1993). Formal methods in circuit design. Cambridge.
Citação do estilo Chicago (17ª ed.)Stavridou, V. Formal Methods in Circuit Design. New York: Cambridge, 1993.
Citação MLA (9ª ed.)Stavridou, V. Formal Methods in Circuit Design. Cambridge, 1993.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.