APA-ийн эшлэл(7 дахь хэвлэлт)

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.