APA (7th ed.) Citation

Roscoe, A. (1992). Occam in the specification and verification of microprocessors.

Chicago Style (17th ed.) Citation

Roscoe, A. Occam in the Specification and Verification of Microprocessors. 1992.

MLA (9th ed.) Citation

Roscoe, A. Occam in the Specification and Verification of Microprocessors. 1992.

Warning: These citations may not always be 100% accurate.