Zapata, Carlos Mario, and Guillermo González. “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, vol. 7, no. 12, Aug. 2011, pp. 169-91, https://revistas.udem.edu.co/index.php/ingenierias/article/view/211.