Sun M, Barbosa LS, Naixião Z.? 2005.??On Refinement of Software Architectures. Theoretical Aspects of Computing - ICTAC 2005, Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings. 3722:469?484.