1. L. Bachmair and N. Dershowitz, "Commutation, Transformation, and Termination," in Proc. 8th Conf. on Automated Deduction, Lecture Notes in Computer Science, vol. 230, Springer Verlag, Oxford (England), 1986.
2. L. Bachmair and D. Plaisted, "Associative Path Orderings," in tProc. 1st Conference on Rewriting Techniques and Applications, Lecture Notes in Computer Science, vol. 202, pp. 241–254, Springer Verlag, Dijon (France), 1985.
3. J. Backus, "Can Programming Be Liberated From the Von Neumann Style? A Functional Style And Its Algebra of Programs," Comm. of ACM, vol. 21, no. 8, pp. 613–641, 1978.
4. F. Bellegarde, "Utilisation des Systèmes de Réécriture d'Expressions Fonctionnelles comme outiles de Transformation de Programmes Itératifs," Thèse de doctorat d'Etat, Université de Nancy I, Dept. Mathématiques Appliquées, 1985.
5. F. Bellegarde, "Rewriting Systems on FP Expressions to reduce the number of Sequences Yielded." Science of Computer Programming, vol. 6. pp. 11–34, North-Holland, 1986.