Mark Scott Johnson Terrence C. Miller Effectiveness of a machine-level, global optimizer. 99-108 1986 conf/sigplan/1986 SIGPLAN Symposium on Compiler Construction http://doi.acm.org/10.1145/12276.13321 db/conf/sigplan/sigplan1986.html#JohnsonM86