Roscoe, A. (1992). Occam in the specification and verification of microprocessors.
Չիկագոյի ոճի (17րդ խմբ.) մեջբերումRoscoe, A. Occam in the Specification and Verification of Microprocessors. 1992.
MLA (9րդ խմբ.) ՄեջբերումRoscoe, A. Occam in the Specification and Verification of Microprocessors. 1992.
Զգուշացում. այս մեջբերումները միշտ չէ, որ կարող են 100% ճշգրիտ լինել.