Optimizing algebraic programs (1994)

by T Sheard, L Fegaras