Vidal Silva, C., Villarroel, R., Schmal Simón, R., Saens, R., Tigero, T., & Del Rio, C. (2016). Aspect-Oriented Formal Modeling: (AspectZ + Object-Z) = OOAspectZ. Computing and Informatics, 34(5), 996–1016. Retrieved from http://147.213.75.17/ojs/index.php/cai/article/view/1380