Taibi, Fathi, et al. “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.