PIMENTA, Marcelo Soares; HEUSER, Carlos Alberto. Uma formalização em IMC: o modelo DODM. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE (SBES), 3. , 1989, Recife/PE. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 1989 . p. 311-324. DOI: https://doi.org/10.5753/sbes.1989.25268.