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.
警告：这些引文格式不一定是100％准确.
APA引文