Pimenta, Marcelo, E 		Heuser, Carlos.
" Uma formalização em IMC: o modelo DODM" <em>Anais do Simpósio Brasileiro de Engenharia de Software (SBES)</em> [Online], (25 outubro 1989)