“Representación de las primitivas conceptuales de UML 2.2 en lógica de predicados de primer orden”, Entre cienc. ing., vol. 4, no. 7, pp. 47–61, Jun. 2010, doi: 10.31908/19098367.758.