Howard Simon Goodman

• From Z specifications to Haskell programs