Haydée Poubel and Paulo Veloso. 1993.
 Sobre o Teorema da Modularização: Importância e uma Prova por Quociente. In <em>Proceedings of the 7th Brazilian Symposium on Software Engineering</em>, October 27, 1993, Rio de Janeiro/RJ, Brasil. SBC, Porto Alegre, Brasil, 17-29. DOI: <a href="https://doi.org/10.5753/sbes.1993.24393">https://doi.org/10.5753/sbes.1993.24393</a>.