A Haskell Implementation for Nielson's book, Semantics with Application