@article{Thiemann:1999:CPG:968554.968555,
    Address = {New York, NY, USA},
    Author = {Thiemann, Peter},
    ISSN = {0956-7968},
    Journal = {J. Funct. Program.},
    Month = {September},
    Number = {5},
    Pages = {483--525},
    Publisher = {Cambridge University Press},
    Title = {Combinators for program generation},
    URL = {http://dx.doi.org/10.1017/S0956796899003469},
    Volume = {9},
    Year = {1999},
    acmid = {968555},
    bdsk-url-1 = {http://journals.cambridge.org/action/displayAbstract;jsessionid=7617FF430BE10BC39D2DA782E0BDBF84.journals?fromPage=online\&aid=44265},
    bdsk-url-2 = {http://dx.doi.org/10.1017/S0956796899003469},
    date-added = {2013-06-19 06:17:06 +0000},
    date-modified = {2013-06-19 06:17:06 +0000},
    issue_date = {September 1999},
    numpages = {43},
    doi = {10.1017/S0956796899003469}
}

@article{Thiemann:1999:CPG:968554.968555, Address = {New York, NY, USA}, Author = {Thiemann, Peter}, ISSN = {0956-7968}, Journal = {J. Funct. Program.}, Month = {September}, Number = {5}, Pages = {483--525}, Publisher = {Cambridge University Press}, Title = {Combinators for program generation}, URL = {http://dx.doi.org/10.1017/S0956796899003469}, Volume = {9}, Year = {1999}, acmid = {968555}, bdsk-url-1 = {http://journals.cambridge.org/action/displayAbstract;jsessionid=7617FF430BE10BC39D2DA782E0BDBF84.journals?fromPage=online\&aid=44265}, bdsk-url-2 = {http://dx.doi.org/10.1017/S0956796899003469}, date-added = {2013-06-19 06:17:06 +0000}, date-modified = {2013-06-19 06:17:06 +0000}, issue_date = {September 1999}, numpages = {43}, doi = {10.1017/S0956796899003469} }