@InProceedings{HuchStolz04a,
  author =    "Huch, F. and Stolz, V.",
  title  =    "Runtime Verification of {Concurrent} {Haskell} Programs",
  booktitle = "Proceedings of the Fourth Workshop on Runtime Verification",
  series =    "ENTCS",
  volume =    "113",
  publisher = "Elsevier Science Publishers",
  year      = "2005"
}