Occam in the specification and verification of microprocessors (Phil Trans R. Soc. Lond A, 1992)

(untitled) - Roscoe, A