Francisco Durán Antonio Vallecillo Formalizing ODP enterprise specifications in Maude. 83-102 2003 25 Computer Standards & Interfaces 2 http://dx.doi.org/10.1016/S0920-5489(02)00121-6 db/journals/csi/csi25.html#DuranV03