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 https://www.cai.sk/ojs/index.php/cai/article/view/1380