Artur Boronat & José Meseguer (2008):
An Algebraic Semantics for MOF.
In: José Luiz Fiadeiro & Paola Inverardi: Fundamental Approaches to Software Engineering, 11th International Conference, FASE 2008. Proceedings,
Lecture Notes in Computer Science 4961.
Springer,
pp. 377–391.
Available at http://dx.doi.org/10.1007/978-3-540-78743-3_28.
Artur Boronat, Joaqu\'ın Oriente, Abel Gómez, Isidro Ramos & José A. Cars\'ı (2006):
An Algebraic Specification of Generic OCL Queries Within the Eclipse Modeling Framework.
In: Arend Rensink & Jos Warmer: ECMDA-FA,
Lecture Notes in Computer Science 4066.
Springer,
pp. 316–330.
Available at http://dx.doi.org/10.1007/11787044_24.
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Mart\'ı-Oliet, José Meseguer & José Quesada (2002):
Maude: Specification and Programming in Rewriting Logic.
Theoretical Computer Science 285,
pp. 187–243.
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Mart\'ı-Oliet, José Meseguer & Carolyn Talcott (2007):
All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic.
Lecture Notes in Computer Science.
Springer.
Manuel Clavel & Marina Egea (2006):
ITP/OCL: A Rewriting-Based Validation Tool for UML+OCL Static Class Diagrams.
In: Michael Johnson & Varmo Vene: AMAST,
Lecture Notes in Computer Science 4019.
Springer,
pp. 368–373.
Available at http://dx.doi.org/10.1007/11784180_28.
Martin Gogolla, Fabian Büttner & Mark Richters (2007):
USE: A UML-Based Specification Environment for Validating UML and OCL.
Science of Computer Programming 69,
pp. 27–34.
José Meseguer (1992):
Conditional Rewriting Logic as a Unified Model of Concurrency.
Theoretical Computer Science 96(1),
pp. 73–155.
José Meseguer (1998):
Membership Algebra as a Logical Framework for Equational Specification.
In: Francesco Parisi-Presicce: Recent Trends in Algebraic Development Techniques,
Lecture Notes in Computer Science 1376.
Springer,
pp. 18–61.
José Meseguer, Miguel Palomino & Narciso Mart\'ı-Oliet (2008):
Equational Abstractions.
Theoretical Computer Science 403(2-3),
pp. 239–264.
Available at http://dx.doi.org/10.1016/j.tcs.2008.04.040.
José Eduardo Rivera, Francisco Durán & Antonio Vallecillo (2009):
A Graphical Approach for Modeling Time-Dependent Behavior of DSLs.
In: IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2009, Corvallis, OR, USA, 20-24 September 2009, Proceedings,
pp. 51–55.
Available at http://doi.ieeecomputersociety.org/10.1109/VLHCC.2009.5295300.
Manuel Roldán & Francisco Durán (2011):
Dynamic Validation of OCL Constraints with mOdCL.
In: Jordi Cabot, Robert Clarisó, Martin Gogolla & Burhart Wolff: International Workshop on OCL and Textual Modelling.
José R. Romero, José E. Rivera, Francisco Durán & Antonio Vallecillo (2007):
Formal and Tool Support for Model Driven Engineering with Maude.
Journal of Object Technology 6(9),
pp. 187–207.