Virtual Machines and Intermediate Languages
ACM Digital Library