Mark P. W. Mutrie Bruce W. Char Richard H. Bartels Expression optimization using high-level knowledge. 64-70 1987 conf/eurocal/1987 EUROCAL db/conf/eurocal/eurocal1987.html#MutrieCB87