Specifying representations of machine instructions (1997)

by Norman Ramsey, Mary F Fernandez
Venue:ACM Transactions on Programming Languages and Systems