N. Brown, “Automatically Generating CSP Models for Communicating Haskell Processes”, eceasst, vol. 23, Jan. 2010.