Stephen C. Johnson Position Paper on Optimizing Compilers. 90-91 1981 POPL db/conf/popl/popl81.html#Johnson81