@inproceedings{
    molm07:ProvingPropertiesWithSparkle_CEFP2007,
    author    = {{de Mol}, Maarten and {van Eekelen}, Marko and Plasmeijer, Rinus},
    title     = {Proving Properties of Lazy Functional Programs with {S}parkle},
    booktitle = {{C}entral {E}uropean {F}unctional {P}rogramming {S}chool, {R}evised {S}elected {L}ectures, {CEFP} 2007},
    editor    = {Zolt\'an Horv\'ath},
    year      = 2008,
    month     = {June 23-30},
    address   = {{C}luj-{N}apoca, {R}omania},
    publisher = {Springer},
    series    = "LNCS",
    volume    = "5161",
    pages     = "41--86"
}