2014. Domain class diagram validation procedure based on mereological analysis for part-whole relations. Revista Brasileira de Computação Aplicada. 6, 2 (out. 2014), 48–60. DOI:https://doi.org/10.5335/rbca.2014.3771.