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.