@book{Widera2008,
   AUTHOR = "M. Widera",
   TITLE = "Testing in Functional Programming",
   PUBLISHER = "Shaker Verlag",
   ADDRESS   = {Aachen},
   ISBN = "978-3-8322-7056-8",
   YEAR = 2008                       }