A concurrent constraint handling rules implementation in Haskell with software transactional memory - Lam, E.S.L. (2013)
10.1145/1248648.1248653