1. Specifying and checking fault-tolerant agent-based protocols using Maude;Baalen,2000
2. Introduction to the ISO specification language LOTOS;Bolognesi;Computer Networks and ISDN Systems,1987
3. Specification and proof in membership equational logic;Bouhoula;Theoretical Computer Science,2000
4. Transforming information in RDF to rewriting logic;Bradley,2002
5. C. Braga, Rewriting logic as a semantic framework for modular structural operational semantics, PhD thesis, Departamento de Informática, Pontifícia Universidade Católica do Rio de Janeiro, Brazil, 2001.