Taibi, F., Abbou, F. M. and Alam, M. J. (2009) “On Merging Object-Oriented Formal Specifications”, INFOCOMP Journal of Computer Science, 8(2), pp. 11–19. Available at: https://infocomp.dcc.ufla.br/index.php/infocomp/article/view/256 (Accessed: 24 April 2024).