db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>

%T Traces for Testing
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
%A  Neil C.C. Brown
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
%E Peter H. Welch,  Herman Roebbers,  Jan F. Broenink,  Frederick R. M. Barnes,  Carl G. Ritson,  Adam T. Sampson,  G. S. Stiles,  Brian Vinter
%B Communicating Process Architectures 2009
%X CHP, the Haskell concurrency library, has recently
   been
augmented with new testing capabilities.  When a test
   case fails, its
recorded event traces are automatically
   printed out \-\- with support for
CSP, VCR and Structural
   trace styles.