Automatic Transformation Systems based on Function-Level Reasoning (1987)

by Hessam Knoshnevisan