FM8501: A verified Microprocessor (1986)

by W Hunt, B Brock