J. C. Ramírez Leal, W. J. Giraldo Orozco, and R. Anaya Hernández, “Aproximación metodológica para la formalización de técnicas en Ingeniería de Requisitos [Methodological approach to formalization of techniques on requirements engineers]”, ventanainform, no. 32, Jun. 2015, doi: 10.30554/ventanainform.32.1104.2015.