FM8501: A Verified Microprocessor, volume 795 of LNAI (1994)

by W A Hunt