Mario Barbacci: Instruction set processor specifications for simulation, evaluation, and synthesis. DAC 1979: 64-72