Taibi, Fathi, Foud Mohamed Abbou, and MD. Jahangir Alam. “On Merging Object-Oriented Formal Specifications”. INFOCOMP Journal of Computer Science 8, no. 2 (June 1, 2009): 11–19. Accessed April 26, 2024. https://infocomp.dcc.ufla.br/index.php/infocomp/article/view/256.