Occam in the specification and verification of microprocessors
A. W. Roscoe
Journal
Phil Trans R. Soc. Lond A
Note
Also in Mechanised Reasoning and Hardware Design‚ M.J.C. Gordon and C.A.R. Hoare‚ eds (Prentice−Hall‚ 1992)‚ extended version available at http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/45ex.ps
Pages
137−151
Volume
339
Year
1992