APA (7 वां संस्करण) प्रशस्ति पत्र
Stavridou, V. (1993). Formal methods in circuit design. Cambridge.
शिकागो शैली (17वां संस्करण) प्रशस्ति पत्र
Stavridou, V. Formal Methods in Circuit Design. New York: Cambridge, 1993.
एमएलए (9वां संस्करण) प्रशस्ति पत्र
Stavridou, V. Formal Methods in Circuit Design. Cambridge, 1993.
चेतावनी: ये उद्धरण हमेशा 100% सटीक नहीं हो सकते हैं.