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. DOI:https://doi.org/10.31908/19098367.758.