@TechReport{jcspVerification2005,
  author = 	 {Philipp R{\"u}mmer},
  title = 	 {Interactive Verification of {JCSP} Programs},
  institution =  {Department of Computer Science and Engineering, Chalmers University of Technology, G\"{o}teborg, Sweden},
  year = 	 2005,
  number =	 {2005--01},
  note = {\\\url{http://www.cs.chalmers.se/~philipp/publications/jcsp-tr.ps.gz}}
}