S. Medeiros and D. Déharbe.
" BDDmeter – Uma Ferramenta para Visualização Dinâmica de BDDs", in <em>Anais do XV Simpósio Brasileiro de Engenharia de Software</em>, Rio de Janeiro/RJ, 2001, pp. 350-355, doi: <a href="https://doi.org/10.5753/sbes.2001.24001">https://doi.org/10.5753/sbes.2001.24001</a>.