Taibi, F.; Abbou, F. M.; Alam, M. J. On Merging Object-Oriented Formal Specifications. INFOCOMP Journal of Computer Science 2009, 8, 11-19.