De Nicola, Rocco and Gorla, Daniele and Hansen, Rene Rydhof and Nielson, Flemming and Nielson, Hanne Riis and Probst, Christian W. and Pugliese, Rosario  From Flow Logic to static type systems for coordination languages.  Science of Computer Programming, 75 (6).  pp. 376-397.  ISSN 0167-6423      (2010)