Stavridou, V. (1993). Formal methods in circuit design. Cambridge.
Chicago-čujuhus (17. p.)Stavridou, V. Formal Methods in Circuit Design. New York: Cambridge, 1993.
MLA-čujuhus (9. p.)Stavridou, V. Formal Methods in Circuit Design. Cambridge, 1993.
Muitte dárkkistit čujuhemiid riektatvuođa, ovdal go geavahat daid iežat deavsttas.