Zapata Jaramillo, C., Tamayo Osorio, P. and Meneses Piedrahita, N. 2010. Representación de las primitivas conceptuales de UML 2.2 en lógica de predicados de primer orden. Entre ciencia e ingeniería. 4, 7 (Jun. 2010), 47 - 61.