Zapata Jaramillo, C., P. Tamayo Osorio, and N. Meneses Piedrahita. “Representación De Las Primitivas Conceptuales De UML 2.2 En Lógica De Predicados De Primer Orden”. Entre Ciencia E Ingeniería, Vol. 4, no. 7, June 2010, pp. 47 -61, https://revistas.ucp.edu.co/index.php/entrecienciaeingenieria/article/view/758.