An Algebraic Specification of Generic OCL Queries Within the Eclipse Modeling Framework. - Artur Boronat; Joaquín Oriente; Abel Gómez 001; Isidro Ramos; José A. Carsí (ECMDA-FA, 2006)