Andy Gill Introducing the Haskell equational reasoning assistant. 108-109 2006 conf/haskell/2006 Haskell http://doi.acm.org/10.1145/1159842.1159856 db/conf/haskell/haskell2006.html#Gill06