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%.