ZAPATA JARAMILLO, C.; TAMAYO OSORIO, P.; MENESES PIEDRAHITA, N. Representación de las primitivas conceptuales de UML 2.2 en lógica de predicados de primer orden. Entre ciencia e ingeniería, v. 4, n. 7, p. 47 - 61, 30 jun. 2010.