Pimenta, Marcelo, and Carlos Alberto Heuser.
" Uma formalização em IMC: o modelo DODM." <em>Anais do III Simpósio Brasileiro de Engenharia de Software,
Recife/PE, 1989</em>. SBC, 1989,  
pp.311-324.