Stavridou, V. (1993). Formal methods in circuit design. Cambridge.
Chicago-Zitierstil (17. Ausg.)Stavridou, V. Formal Methods in Circuit Design. New York: Cambridge, 1993.
MLA-Zitierstil (9. Ausg.)Stavridou, V. Formal Methods in Circuit Design. Cambridge, 1993.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.