Françoise Bellegarde. Rewriting Systems on FP Expressions that Reduce the Number of Sequences They Yield. In Proceedings of the ACM Symposium on LISP and Functional Programming. LFP '84, pages 63-73, Association for Computing Machinery, New York, NY, USA, 1984.