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