@article{Sestoft:1997:DLA:969886.969887,
    Address = {New York, NY, USA},
    Author = {Sestoft, Peter},
    File = {Deriving a lazy abstract machine - Sestoft (0) (0) - a - a - s.pdf},
    ISSN = {0956-7968},
    Journal = {J. Funct. Program.},
    Keywords = {Krivine machine and lambda calculus},
    Month = {May},
    Number = {3},
    Pages = {231--264},
    Publisher = {Cambridge University Press},
    Title = {Deriving a lazy abstract machine},
    URL = {http://dx.doi.org/10.1017/S0956796897002712},
    Volume = {7},
    Year = {1997},
    acmid = {969887},
    bdsk-url-1 = {http://dx.doi.org/10.1017/S0956796897002712},
    date-added = {2013-04-29 12:03:34 +0000},
    date-modified = {2013-04-29 12:03:43 +0000},
    file-2 = {Deriving a lazy abstract machine - Sestoft (0) (0) - a - a - s.ps},
    issue_date = {May 1997},
    numpages = {34},
    doi = {10.1017/S0956796897002712}
}

@article{Sestoft:1997:DLA:969886.969887, Address = {New York, NY, USA}, Author = {Sestoft, Peter}, File = {Deriving a lazy abstract machine - Sestoft (0) (0) - a - a - s.pdf}, ISSN = {0956-7968}, Journal = {J. Funct. Program.}, Keywords = {Krivine machine and lambda calculus}, Month = {May}, Number = {3}, Pages = {231--264}, Publisher = {Cambridge University Press}, Title = {Deriving a lazy abstract machine}, URL = {http://dx.doi.org/10.1017/S0956796897002712}, Volume = {7}, Year = {1997}, acmid = {969887}, bdsk-url-1 = {http://dx.doi.org/10.1017/S0956796897002712}, date-added = {2013-04-29 12:03:34 +0000}, date-modified = {2013-04-29 12:03:43 +0000}, file-2 = {Deriving a lazy abstract machine - Sestoft (0) (0) - a - a - s.ps}, issue_date = {May 1997}, numpages = {34}, doi = {10.1017/S0956796897002712} }