Taibi, F., Abbou, F. M., & Alam, M. J. (2009). On Merging Object-Oriented Formal Specifications. INFOCOMP Journal of Computer Science, 8(2), 11–19. Retrieved from https://infocomp.dcc.ufla.br/index.php/infocomp/article/view/256