Michael Lienhardt Alan Schmitt Jean-Bernard Stefani Typing communicating component assemblages. 125-136 2008 GPCE http://doi.acm.org/10.1145/1449913.1449933 conf/gpce/2008 db/conf/gpce/gpce2008.html#LienhardtSS08