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. 2018, 37, 109-141.