Stavridou, V. (1993). Formal methods in circuit design. Cambridge.
Չիկագոյի ոճի (17րդ խմբ.) մեջբերումStavridou, V. Formal Methods in Circuit Design. New York: Cambridge, 1993.
MLA (9րդ խմբ.) ՄեջբերումStavridou, V. Formal Methods in Circuit Design. Cambridge, 1993.
Զգուշացում. այս մեջբերումները միշտ չէ, որ կարող են 100% ճշգրիտ լինել.