M. Oliveira and A. Cavalcanti.
" Tactics of Refinement", in <em>Anais do XIV Simpósio Brasileiro de Engenharia de Software</em>, João Pessoa/PB, 2000, pp. 117-132, doi: <a href="https://doi.org/10.5753/sbes.2000.25924">https://doi.org/10.5753/sbes.2000.25924</a>.