1. Efficient annotated terms;van den Brand;Software-Practice and Experience,2000
2. Interface metaphors and user interface design;Carroll,1988
3. The rewriting calculus — Part I and II;Horatiu;Logic Journal of the Interest Group in Fure and Applied Logics,2001
4. F. Durán. Reflective Module Algebra with Applications to the Maude Language. PhD thesis, University of Málaga, 1999.
5. CoFI group. The CoFI Algebraic Specification Language. Available at the CoFI home page: http://www.briks.dk/Projects/CoFI.