Zapata, Carlos Mario, y 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 7, no. 12 (agosto 17, 2011): 169–191. Accedido septiembre 11, 2026. https://revistas.udem.edu.co/index.php/ingenierias/article/view/211.