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