Roscoe, A. (1992). Occam in the specification and verification of microprocessors.
Citace podle Chicago (17th ed.)Roscoe, A. Occam in the Specification and Verification of Microprocessors. 1992.
Citace podle MLA (9th ed.)Roscoe, A. Occam in the Specification and Verification of Microprocessors. 1992.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..