Zapata, C.M. and González, G. 2011. 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. Revista Ingenierías Universidad de Medellín. 7, 12 (Aug. 2011), 169–191.