Roscoe, A. (1992). Occam in the specification and verification of microprocessors.
Lua i Stíl Chicago (17ú heag.)Roscoe, A. Occam in the Specification and Verification of Microprocessors. 1992.
Lua MLA (9ú heag.)Roscoe, A. Occam in the Specification and Verification of Microprocessors. 1992.
Rabhadh: Seans nach mbeach na luanna seo go hiomlán cruinn i ngach uile chás.