Optimizing algebraic programs", OGI tech-report 94-004 (1994)

by T Sheard