ISPMET: a study in automatic emulator generation. - D. F. Goessling; John F. McDonald 001 (MICRO, 1972)