Morales-Trujillo M, Oktaba H, Hernández-Quiroz F, Escalante-Ramírez B. Towards a Formalization of a Framework to Express and Reason about Software Engineering Methods. Comput. Inform. [Internet]. 2018 May 3 [cited 2024 Nov. 23];37(1):109-41. Available from: http://147.213.75.17/ojs/index.php/cai/article/view/2018_1_109