“Representación de las primitivas conceptuales de UML 2.2 en lógica de predicados de primer orden” (2010) Entre Ciencia e Ingeniería, 4(7), pp. 47–61. doi:10.31908/19098367.758.