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