Suaza Jiménez, Jorge Hernán, y Gloria Amparo Lora Patiño. «Proceso Y evolución De Los métodos Formales En La ingeniería De Requisitos». Revista Ingenierías Universidad De Medellín, vol. 19, n.º 37, noviembre de 2019, pp. 119-36, https://doi.org/10.22395/rium.v19n37a6.