Zapata Jaramillo, C., 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. Entre Ciencia E Ingeniería, Vol. 4, n.º 7, June 2010, pp. 47 -61, https://revistas.ucp.edu.co/index.php/entrecienciaeingenieria/article/view/758.