Formal specification and documentation of microprocessor instruction sets

Jonathan P. Bowen. Formal specification and documentation of microprocessor instruction sets. Journal of Systems Architecture, 21(1-5):223-230, 1987. [doi]

Abstract

Abstract is missing.