1. A. Aiken and B. Murphy. Implementing regular tree expressions. In Functional Programming and Computer Architecture (FPCA’91), pages 427–447, Aug. 1991.
2. W. E. Aitken and J. H. Reppy. Abstract value constructors. In ACM SIGPLAN Workshop on ML and its Applications, pages 1–11, San Francisco, Cal., June 1992.
3. P. Borovanský, C. Kirchner, and H. Kirchner. Controlling rewriting by rewriting. In J. Meseguer, editor, Proceedings of the First International Workshop on Rewriting Logic and its Applications, volume 4 of Electronic Notes in Theoretical Computer Science, Asilomar, Pacific Grove, CA, September 1996. Elsevier.
4. F. W. Burton and R. D. Cameron. Pattern matching with abstract data types. Journal of Functional Programming, 3(2):171–190, April 1993.
5. M. Clavel, S. Eker, P. Lincoln, and J. Meseguer. Principles of Maude. In J. Meseguer, editor, Proceedings of the First International Workshop on Rewriting Logic and its Applications, volume 4 of Electronic Notes in Theoretical Computer Science, pages 65–89, Asilomar, Pacific Grove, CA, September 1996. Elsevier.