Behavior-Preserving Refinement Relations between Dynamic Software Architectures - Heckel, Reiko; Thöne, Sebastian (Proceedings of the workshop on Algebraic Development Techniques (WADT 2004), Barcelona (Spain))