Oliveira, M., & 		Cavalcanti, A.
(2000).
 Tactics of Refinement.
In <em>Proceedings of the 14th Brazilian Symposium on Software Engineering</em>, (pp. 117-132). Porto Alegre: SBC.
doi:10.5753/sbes.2000.25924