Brown, Neil. “Automatically Generating CSP Models for Communicating Haskell Processes”. Electronic Communications of the EASST, vol. 23, Jan. 2010, doi:10.14279/tuj.eceasst.23.325.