@BOOK{Cassez01,
  title = {Modelling and Verification of Parallel Processes},
  publisher = {Springer},
  year = {2001},
  editor = {Cassez, F. and Jard, C. and Rozoy, B. and Ryan, M.},
  volume = {2067},
  series = {LNCS}
}