Roscoe, A. (1992). Occam in the specification and verification of microprocessors.
Cita Chicago (17th ed.)Roscoe, A. Occam in the Specification and Verification of Microprocessors. 1992.
Cita MLA (9th ed.)Roscoe, A. Occam in the Specification and Verification of Microprocessors. 1992.
Atenció: Aquestes cites poden no estar 100% correctes.