@article{brown-chp-spec-09,
  author = {Neil C. C. Brown},
  title = {{Automatically Generating CSP Models for Communicating Haskell Processes}},
  month = {November},
  year = {2009},
  pages = {1--12},
  ISSN = {1863-2122},
  journal = {Electronic Communications of the EASST},
  volume = {23},
}