FM8501: A Verified Microprocessor (1985)

by W Hunt