Lienhardt, Michael and Mezzina, Claudio Antares and Schmitt, Alan and Stefani, Jean-Bernard Typing component-based communication systems. In: Formal Techniques for Distributed Systems. Lecture Notes in Computer Science (5522). Springer, pp. 167-181. ISBN 978-3-642-02137-4 (2009)