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