Todd A. Cook, Ed Harcourt: A Functional Specification Language for Instruction Set Architectures. ICCL 1994: 11-19