Zapata, C. M.; González, G. Especificación Formal En OCL De Reglas De Consistencia Entre Los Diagramas De Clases Y Casos De Uso De UML Y El Modelo De Interfaces. rev.ing.univ.Medellin 1, 7, 169-191.