Vidal Silva, C. (2016) “Aspect-Oriented Formal Modeling: (AspectZ + Object-Z) = OOAspectZ”, COMPUTING AND INFORMATICS, 34(5), pp. 996–1016. Available at: https://www.cai.sk/ojs/index.php/cai/article/view/1380 (Accessed: 22 June 2024).