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