H. Poubel and P. Veloso.
" Sobre o Teorema da Modularização: Importância e uma Prova por Quociente", in <em>Anais do VII Simpósio Brasileiro de Engenharia de Software</em>, Rio de Janeiro/RJ, 1993, pp. 17-29, doi: <a href="https://doi.org/10.5753/sbes.1993.24393">https://doi.org/10.5753/sbes.1993.24393</a>.