Wilson C. Hsieh, Dawson R. Engler, Godmar Back: Reverse-Engineering Instruction Encodings. USENIX ATC, General Track 2001: 133-145