Alberto Pettorossi. A Powerful Strategy for Deriving Efficient Programs by Transformation. In Proceedings of the ACM Symposium on LISP and Functional Programming. LFP '84, pages 273-281, Association for Computing Machinery, New York, NY, USA, 1984.
Abstract is missing.