Taibi, Fathi, et al. “On Merging Object-Oriented Formal Specifications”. INFOCOMP Journal of Computer Science, vol. 8, no. 2, June 2009, pp. 11-19, http://177.105.60.18/index.php/infocomp/article/view/256.