@inproceedings{mol2008:sparkletutorial,
   author        = "{de Mol}, Maarten and {van Eekelen}, Marko and Plasmeijer, Rinus",
   title         = "Proving Properties of Lazy Functional Programs with {SPARKLE}",
   booktitle     = "2nd Central-European Functional Programming School, CEFP 2007",
   editor        = "Zolt{\'a}n Horv{\'a}th",
   address       = "Cluj-Napoca, Romania",
   publisher     = "Springer",
   series        = "LNCS Tutorial Series",
   note          = "To appear",
   year          = "2008",
   class         = "wet"
}