توثيق جمعية علم النفس الأمريكية APA (الطبعة السابعة)

Stavridou, V. (1993). Formal methods in circuit design. Cambridge.

توثيق أسلوب شيكاغو (الطبعة السابعة عشر)

Stavridou, V. Formal Methods in Circuit Design. New York: Cambridge, 1993.

توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)

Stavridou, V. Formal Methods in Circuit Design. Cambridge, 1993.