@article{Wand:Krivine:2007,
    Author = {Wand, Mitchell},
    File = {On the correctness of the Krivine machine - Wand (0) (0) - a - a - y.pdf},
    Journal = {Higher Order Symbol. Comput.},
    Keywords = {lambda calculus},
    Number = {3},
    Pages = {231--235},
    Title = {On the correctness of the {Krivine} machine},
    Volume = {20},
    Year = {2007},
    bdsk-url-1 = {http://www.springerlink.com/content/q441232272lw387k/export-citation/fulltext.pdf},
    bdsk-url-2 = {http://dx.doi.org/10.1007/s10990-007-9019-8},
    date-added = {2012-03-06 18:26:20 +0100},
    date-modified = {2015-02-15 23:25:23 +0000},
    related-to = {SalvatiWalukiewicz},
    doi = {10.1007/s10990-007-9019-8}
}

@article{Wand:Krivine:2007, Author = {Wand, Mitchell}, File = {On the correctness of the Krivine machine - Wand (0) (0) - a - a - y.pdf}, Journal = {Higher Order Symbol. Comput.}, Keywords = {lambda calculus}, Number = {3}, Pages = {231--235}, Title = {On the correctness of the {Krivine} machine}, Volume = {20}, Year = {2007}, bdsk-url-1 = {http://www.springerlink.com/content/q441232272lw387k/export-citation/fulltext.pdf}, bdsk-url-2 = {http://dx.doi.org/10.1007/s10990-007-9019-8}, date-added = {2012-03-06 18:26:20 +0100}, date-modified = {2015-02-15 23:25:23 +0000}, related-to = {SalvatiWalukiewicz}, doi = {10.1007/s10990-007-9019-8} }