C. Zapata Jaramillo, P. Tamayo Osorio, y N. Meneses Piedrahita, «Representación de las primitivas conceptuales de UML 2.2 en lógica de predicados de primer orde»n, eci, vol. 4, n.º 7, pp. 47 - 61, jun. 2010.