1. S. Antoy and R. Hamlet. Automatically checking an implementation against its formal specification. In R. Selby, editor, Irvine Software Symposium, pages 29–48, Irvine, CA, March 1992.
2. Sergio Antoy. Definitional trees. In ALP'92, Volterra, Italy, September 1992. (to appear).
3. Andrew W. Appel and David B. MacQueen. Standard ML of New Jersey. In PLILP'91, pages 1–13, Passau, Germany, August 1991. Lect. Notes in Comp. Sci., Vol. 528.
4. N. Dershowitz and J.-P. Jouannaud. Rewrite systems. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science B: Formal Methods and Semantics, chapter 6, pages 243–320. North Holland, Amsterdam, 1990.
5. Alfons Geser, Heinrich Hussmann, and Andreas Mück. A compiler for a class of conditional term rewriting systems. In S. Kaplan and J.-P. Jouannaud, editors, CTRS'87, pages 84–90, Orsay, France, July 1987. LNCS 308.