Taibi, F. et al. 2009. On Merging Object-Oriented Formal Specifications. INFOCOMP Journal of Computer Science. 8, 2 (Jun. 2009), 11–19.