From Function Level Semantics to Program Transformation and Optimization (1985)link.springer.com20 points0823498723498723 years ago