Roscoe, A. (1992). Occam in the specification and verification of microprocessors.
Chicago-čujuhus (17. p.)Roscoe, A. Occam in the Specification and Verification of Microprocessors. 1992.
MLA-čujuhus (9. p.)Roscoe, A. Occam in the Specification and Verification of Microprocessors. 1992.
Muitte dárkkistit čujuhemiid riektatvuođa, ovdal go geavahat daid iežat deavsttas.