Static analysis of the Mesa instruction set (1982)

by R Sweet, J Sandman
Venue:SIGPLAN Notices