?url_ver=Z39.88-2004&rft_id=10.1007%2F978-3-540-68265-3_7&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.au=De+Nicola%2C+Rocco&rft.aufirst=Rocco&rft.aulast=De+Nicola&rft.date=2008&rft.title=From+Flow+Logic+to+Static+Type+Systems+for+Coordination+Languages&rft.btitle=Coordination+Models+and+Languages+(COORDINATION+2008)&rft.isbn=978-3-540-68264-6&rft.genre=bookitem