Hardware aspects of algorithm generation
The Formal Specification of a Microprocessor Instruction Set