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% सटीक नहीं हो सकते हैं.