FM8501 : a verified microprocessor - Hunt W A (1994)
Keywords: Computer science; Microprocessors