@inproceedings{Claessen:2012:SSF:2364506.2364516,
    Address = {New York, NY, USA},
    Author = {Claessen, Koen},
    BookTitle = {Proceedings of the 2012 Haskell Symposium},
    File = {p73-claessen (0) - a - a - o.pdf},
    ISBN = {978-1-4503-1574-6},
    Keywords = {counter example, quickcheck, testing},
    Location = {Copenhagen, Denmark},
    Pages = {73--80},
    Publisher = {ACM},
    Series = {Haskell '12},
    Title = {Shrinking and Showing Functions: (Functional Pearl)},
    URL = {http://doi.acm.org/10.1145/2364506.2364516},
    Year = {2012},
    acmid = {2364516},
    bdsk-url-1 = {http://doi.acm.org/10.1145/2364506.2364516},
    bdsk-url-2 = {http://dx.doi.org/10.1145/2364506.2364516},
    date-added = {2017-02-17 15:07:12 +0000},
    date-modified = {2017-02-17 15:07:12 +0000},
    numpages = {8},
    doi = {10.1145/2364506.2364516}
}

@inproceedings{Claessen:2012:SSF:2364506.2364516, Address = {New York, NY, USA}, Author = {Claessen, Koen}, BookTitle = {Proceedings of the 2012 Haskell Symposium}, File = {p73-claessen (0) - a - a - o.pdf}, ISBN = {978-1-4503-1574-6}, Keywords = {counter example, quickcheck, testing}, Location = {Copenhagen, Denmark}, Pages = {73--80}, Publisher = {ACM}, Series = {Haskell '12}, Title = {Shrinking and Showing Functions: (Functional Pearl)}, URL = {http://doi.acm.org/10.1145/2364506.2364516}, Year = {2012}, acmid = {2364516}, bdsk-url-1 = {http://doi.acm.org/10.1145/2364506.2364516}, bdsk-url-2 = {http://dx.doi.org/10.1145/2364506.2364516}, date-added = {2017-02-17 15:07:12 +0000}, date-modified = {2017-02-17 15:07:12 +0000}, numpages = {8}, doi = {10.1145/2364506.2364516} }