TAIBI, F.; ABBOU, F. M.; ALAM, M. J. On Merging Object-Oriented Formal Specifications. INFOCOMP Journal of Computer Science, [S. l.], v. 8, n. 2, p. 11–19, 2009. Disponível em: https://infocomp.dcc.ufla.br/index.php/infocomp/article/view/256. Acesso em: 16 apr. 2024.