@inproceedings(Boronat-Meseguer:08,
 author       = "Artur Boronat and Jos\'e Meseguer",
 year         = "2008",
 title        = "An {A}lgebraic {S}emantics for {MOF}",
 editor       = "Jos{\'e} Luiz Fiadeiro and Paola Inverardi",
 booktitle    = "Fundamental Approaches to Software Engineering, 11th International Conference, FASE 2008. Proceedings",
 series       = "Lecture Notes in Computer Science",
 volume       = "4961",
 publisher    = "Springer",
 pages        = "377--391",
 url          = "http://dx.doi.org/10.1007/978-3-540-78743-3_28",
)
@inproceedings(DBLP:conf/ecmdafa/BoronatOGRC06,
 author       = "Artur Boronat and Joaqu\'{\i }n Oriente and Abel G{\'o}mez and Isidro Ramos and Jos{\'e} A. Cars\'{\i }",
 year         = "2006",
 title        = "An {A}lgebraic {S}pecification of {G}eneric {OCL} {Q}ueries {W}ithin the {E}clipse {M}odeling {F}ramework",
 editor       = "Arend Rensink and Jos Warmer",
 booktitle    = "ECMDA-FA",
 series       = "Lecture Notes in Computer Science",
 volume       = "4066",
 publisher    = "Springer",
 pages        = "316--330",
 url          = "http://dx.doi.org/10.1007/11787044_24",
)
@article(CDELMMQ:2002,
 author       = "Manuel Clavel and Francisco Dur{\'a}n and Steven Eker and Patrick Lincoln and Narciso Mart\'{\i }-Oliet and Jos{\'e} Meseguer and Jos{\'e} Quesada",
 year         = "2002",
 title        = "{Maude}: Specification and Programming in Rewriting Logic",
 journal      = "Theoretical Computer Science",
 volume       = "285",
 pages        = "187--243",
)
@book(CDELMMT:2007-book,
 author       = "Manuel Clavel and Francisco Dur\'{a}n and Steven Eker and Patrick Lincoln and Narciso Mart\'{\i }-Oliet and Jos\'{e} Meseguer and Carolyn Talcott",
 year         = "2007",
 title        = "All About {Maude} - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic",
 series       = "Lecture Notes in Computer Science",
 publisher    = "Springer",
)
@inproceedings(DBLP:conf/amast/ClavelE06,
 author       = "Manuel Clavel and Marina Egea",
 year         = "2006",
 title        = "{ITP/OCL}: {A} {R}ewriting-{B}ased {V}alidation {T}ool for {UML+OCL} {S}tatic {C}lass {D}iagrams",
 editor       = "Michael Johnson and Varmo Vene",
 booktitle    = "AMAST",
 series       = "Lecture Notes in Computer Science",
 volume       = "4019",
 publisher    = "Springer",
 pages        = "368--373",
 url          = "http://dx.doi.org/10.1007/11784180_28",
)
@article(Gogolla:2007:SCP,
 author       = "Martin Gogolla and Fabian B{\"u}ttner and Mark Richters",
 year         = "{2007}",
 title        = "{USE: A UML-Based Specification Environment for Validating UML and OCL}",
 journal      = "{Science of Computer Programming}",
 volume       = "{69}",
 pages        = "{27--34}",
)
@article(Meseguer:1992-tcs,
 author       = "Jos{\'e} Meseguer",
 year         = "1992",
 title        = "Conditional Rewriting Logic as a Unified Model of Concurrency",
 journal      = "Theoretical Computer Science",
 volume       = "96",
 number       = "1",
 pages        = "73--155",
)
@inproceedings(Meseguer:1998,
 author       = "Jos{\'e} Meseguer",
 year         = "1998",
 title        = "Membership Algebra as a Logical Framework for Equational Specification",
 editor       = "Francesco Parisi-Presicce",
 booktitle    = "Recent Trends in Algebraic Development Techniques",
 series       = "Lecture Notes in Computer Science",
 volume       = "1376",
 publisher    = "Springer",
 pages        = "18--61",
)
@article(Meseguer-Palomino-Marti-Oliet:2008,
 author       = "Jos\'e Meseguer and Miguel Palomino and Narciso Mart\'{\i }-Oliet",
 year         = "2008",
 title        = "Equational {A}bstractions",
 journal      = "Theoretical Computer Science",
 volume       = "403",
 number       = "2-3",
 pages        = "239--264",
 url          = "http://dx.doi.org/10.1016/j.tcs.2008.04.040",
)
@inproceedings(Rivera-Duran-Vallecillo:2009,
 author       = "Jos\'e Eduardo Rivera and Francisco Dur\'an and Antonio Vallecillo",
 year         = "2009",
 title        = "A {G}raphical {A}pproach for {M}odeling {T}ime-{D}ependent {B}ehavior of {DSL}s",
 booktitle    = "IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2009, Corvallis, OR, USA, 20-24 September 2009, Proceedings",
 pages        = "51--55",
 url          = "http://doi.ieeecomputersociety.org/10.1109/VLHCC.2009.5295300",
)
@inproceedings(Roldan-Duran:2011,
 author       = "Manuel Rold\'an and Francisco Dur\'an",
 year         = "2011",
 title        = "Dynamic Validation of {OCL} Constraints with {mOdCL}",
 editor       = "Jordi Cabot and Robert Claris\'o and Martin Gogolla and Burhart Wolff",
 booktitle    = "International Workshop on OCL and Textual Modelling",
)
@article(RRDV:07-jot,
 author       = "Jos\'e R. Romero and Jos\'e E. Rivera and Francisco Dur\'an and Antonio Vallecillo",
 year         = "2007",
 title        = "Formal and {T}ool {S}upport for {M}odel {D}riven {E}ngineering with {M}aude",
 journal      = "Journal of Object Technology",
 volume       = "6",
 number       = "9",
 pages        = "187--207",
)