Taibi, F., F. M. Abbou, and M. J. Alam. “On Merging Object-Oriented Formal Specifications”. INFOCOMP Journal of Computer Science, vol. 8, no. 2, June 2009, pp. 11-19, https://infocomp.dcc.ufla.br/index.php/infocomp/article/view/256.