TY  - BOOK
AU  - Hunt W A
TI  - FM8501 : a verified microprocessor
U1  - 004.16 
PY  - 1994///
KW  - Computer science
KW  - Microprocessors
ER  -