José Proença, Dave Clarke: Typed connector families and their semantics. Sci. Comput. Program. 146: 28-49 (2017)