Morales-Trujillo, M. et al. 2018. Towards a Formalization of a Framework to Express and Reason about Software Engineering Methods. Computing and Informatics. 37, 1 (May 2018), 109–141.