Philippe Bidinger Matthieu Leclercq Vivien Quéma Alan Schmitt Jean-Bernard Stefani Dream types: a domain specific type system for component-based message-oriented middleware. 2006 31 ACM SIGSOFT Software Engineering Notes 2 http://doi.acm.org/10.1145/1118537.1123061 db/journals/sigsoft/sigsoft31.html#BidingerLQSS06