Pimenta, Marcelo, and Carlos Alberto Heuser.
" Uma formalização em IMC: o modelo DODM." <em>Proceedings of the 3rd Brazilian Symposium on Software Engineering,
Recife/PE, 1989</em>. SBC, 1989,  
pp.311-324.