1. Studies in Logic and the Foundations of Mathematics;H.P. Barendregt,1991
2. ENTCS;S. Buss,2000
3. Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Quesada, J.: Maude: specification and programming in rewriting logic. SRI International (January 1999),
http://maude.csl.sri.com
4. Lecture Notes in Computer Science;A. Corradini,1998
5. AMAST Series in Computing;R. Diaconescu,1998