Poubel, Haydée, and Paulo Augusto Silva Veloso.
" Sobre o Teorema da Modularização: Importância e uma Prova por Quociente." <em>Anais do VII Simpósio Brasileiro de Engenharia de Software,
Rio de Janeiro/RJ, 1993</em>. SBC, 1993,  
pp.17-29.