Proença J, Clarke D.? 2017.??Typed Connector Families and their semantics. Science of Computer Programming. 115-116:47-78.