De Nicola, Rocco  From Process Calculi to Klaim and Back.  Electronic Notes in Theoretical Computer Science, 162.  pp. 159-162.  ISSN 1571-0661      (2006)