1987


Hardware aspects of algorithm generation

The Formal Specification of a Microprocessor Instruction Set