Marcel Oliveira, Ana Cavalcanti 0001. Tactics of Refinement. In Augusto Sampaio, editor, Proceedings of the 14th Brazilian Symposium on Software Engineering, SBES 2000, João Pessoa, PB, Brazil, October 4-6, 2000. pages 117-132, SBC, 2000. [doi]
Abstract is missing.