@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}, }