@article{occamMicroprocessors,
  title = "Occam in the specification and verification of microprocessors",
  author = "A. W. Roscoe",
  year = "1992",
  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 \url{http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/45ex.ps} }",
  pages = "137-151",
  url = "http://www.jstor.org/view/09628428/ap000030/00a00150/0",
  volume = "339",
}