Specifying Representations of Machine Instructions (1997)

by Norman Ramsey, Mary F. Fernández
Venue:ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS