M. Pimenta and C. Heuser. " Uma formalização em IMC: o modelo DODM", in Anais do III Simpósio Brasileiro de Engenharia de Software, Recife/PE, 1989, pp. 311-324, doi: https://doi.org/10.5753/sbes.1989.25268.