1. Algebraic Foundations of Systems Specification, IFIP State-of-the-Art Reports;Astesiano,1999
2. Rewriting logic as a metalogical framework;Basin,2000
3. Characterization of computable data types by means of a finite equational specification method;Bergstra,1980
4. P. Borovanský, Le Contrôle de la Réécriture: Étude et Implantation d'un Formalisme de Stratégies. Ph.D. Thesis, Université Henri Poincaré – Nancy I, October 1998.
5. P. Borovanský, C. Kirchner, H. Kirchner, Controlling rewriting by rewriting, in: J. Meseguer (Ed.), Proc. 1st Int. Workshop on Rewriting Logic and its Applications, WRLA’96, Asilomar, California, September 3–6, 1996, Electronic Notes in Theoretical Computer Science, Vol. 4, Elsevier, Amsterdam, Sept. 1996, pp. 168–188, http://www.elsevier.nl/locate/entcs/volume4.html.