Machine Description to build tools for embedded systems (1998)

by N Ramsey, J W Davidson
Venue:Lecture Notes in Computer Science