F. Taibi, F. M. Abbou, and M. J. Alam, “On Merging Object-Oriented Formal Specifications”, INFOCOMP Journal of Computer Science, vol. 8, no. 2, pp. 11–19, Jun. 2009.