1. A meta-environment for generating programming environments;Klint;ACM Transactions on Software Engineering and Methodology,1993
2. Maude: specification and programming in rewriting logic;Clavel;Theoretical Computer Science,2002
3. K. Futatsugi, A. Nakagawa, An overview of the Cafe specification environment—an algebraic approach for creating, verifying, and maintaining formal specifications over networks, in: Proceedings of the 1st IEEE International Conference on Formal Engineering Methods, Hiroshima, Japan, 1997, p. 170.
4. An overview of ELAN;Borovanský,1998
5. A pattern matching compiler for multiple target languages;Moreau,2003