Bridget Spitznagel, David Garlan. A Compositional Formalization of Connector Wrappers. In Proceedings of the 25th International Conference on Software Engineering, May 3-10, 2003, Portland, Oregon, USA. pages 374-384, IEEE Computer Society, 2003. [doi]
Abstract is missing.