APA (7th ed.) մեջբերում
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% ճշգրիտ լինել.