Torres Vieira, Hugo  and Vasconcelos, Vasco Thudichum  Typing progress in communication-centred systems.   In:  Coordination Models and Languages.   Lecture Notes in Computer Science  (7890).  Springer, pp. 236-250.  ISBN 978-3-642-38493-6      (2013)