Automatic transformation systems based on function-level reasoning. - Hassam Khoshnevisan-Tehrani (1987)