Roscoe, A. (1992). Occam in the specification and verification of microprocessors.
芝加哥风格引文Roscoe, A. Occam in the Specification and Verification of Microprocessors. 1992.
MLA引文Roscoe, A. Occam in the Specification and Verification of Microprocessors. 1992.
警告：这些引文格式不一定是100％准确.