Lowering: a static optimization technique for transparent functional reactivity. - Kimberley Burchett; Gregory H. Cooper; Shriram Krishnamurthi (PEPM, 2007)