Formal Verification and Implementation of a Microprocessor (1988)

by J Joyce