Deborah Whitfield Mary Lou Soffa Automatic Generation of Global Optimizers. 120-129 1991 PLDI db/conf/pldi/pldi91.html#WhitfieldS91