Barbosa MB, Barbosa LS.? 2004.??Specifying Software Connectors. Proceedings of 1st International ColloquiumTheoretical Aspects of Computing - ICTAC . 3407:53?68.