Specifying representations of machine instructions

Norman Ramsey, Mary F. Fernández
[doi] [Google Scholar] [DBLP] [Citeseer] [url]

ACM Trans. Program. Lang. Syst. 19(3)
Association for Computing Machinery
New York, NY, USA
Pages 492-524
May 1997
Note(s): ISA specification, SLED