?url_ver=Z39.88-2004&rft_id=10.1007%2F978-3-540-40042-4_4&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.aulast=Bettini&rft.aufirst=Lorenzo&rft.au=Bettini%2C+Lorenzo&rft.title=The+Klaim+Project%3A+Theory+and+Practice&rft.btitle=Global+Computing.+Programming+Environments%2C+Languages%2C+Security%2C+and+Analysis+of+Systems&rft.date=2003&rft.isbn=3-540-20583-7&rft.genre=bookitem