@InProceedings{Klebanov05,
  author =       {Vladimir Klebanov and Philipp R\"{u}mmer and Steffen Schlager
  and Peter H. Schmitt},
  title =        {Verification of {JCSP} Programs},
  booktitle = {Communicating Process Architectures (CPA), Proceedings},
  year =         {2005}
}