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. http://177.105.60.18/index.php/infocomp/article/view/256.