HERMIT The Haskell Equational Reasoning Model-to-Implementation Tunnel. Links http://www.ittc.ku.edu/csdl/fpg/Tools/HERMIT