Optimizing compilers are here (mostly). - Mehdi Jazayeri; Mike Haden (ACM SIGPLAN Notices, 1986)