C. Rocha and E. Martins.
" Um Modelo para Construção de Componentes Testáveis", in <em>Proceedings of the 5th Workshop on Testing and Fault Tolerance</em>, Gramado/RS, 2004, pp. 61-72, doi: <a href="https://doi.org/10.5753/wtf.2004.23380">https://doi.org/10.5753/wtf.2004.23380</a>.