1. P. Borovansky, C. Kirchner, and H. Kirchner. Strategies and Rewriting in ELAN. Proceedings of the CADE-14 Workshop on Strategies in Automated Deduction, ed. B. Gramlich and H. Kirchner, 1997.
2. An introduction to Maude (beta version);Clavel;Manuscript, SRI International,1998
3. Reflection and strategies in rewriting logic. Proc. First Intl. Workshop on Rewriting Logic and its Applications;Clavel,1996
4. Cafe as an extensible specification environment;Futatsugi;Proc. of the Kunming International CASE Symposium, Kunming, China,1994