C. M. Zapata Jaramillo, P. A. Tamayo Osorio, and N. Meneses Piedrahita, “Representación de las primitivas conceptuales de UML 2.2 en lógica de predicados de primer orden”, Entre cienc. ing., vol. 4, no. 7, pp. 47–61, Jun. 2010, doi: 10.31908/19098367.758.