Boronat, Artur, Oriente, Joaquín, Gómez, Abel, Ramos, Isidro and Carsí, José Á. (2006), " MOMENT-OCL: Algebraic Specifications of OCL 2.0 within the Eclipse Modeling Framework ", ENTCS. Demo. 6th International Workshop on Rewriting Logic and its Applications. Vienna, Austria..