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. eci 2010, 4, 47 - 61.