Title: From Z specifications to Haskell programs
First published: 1996