Specifying representations of machine instructions (1997)

by N Ramsey, M Fernández
Venue:ACM Transactions on Programming Languages and Systems