@article{FernandezSiafakas,
    Author = {Fernandez, Maribel and Siafakas, Nikolaos},
    File = {New Developments in Environment Machines - Fernandez, Siafakas (0) (0) - a - a - l.pdf},
    ISSN = {1571-0661},
    Journal = {Electronic Notes in Theoretical Computer Science},
    Keywords = {lambda calculus and Krivine machine and reading},
    Note = {<ce:title>Proceedings of the 8th International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2008)</ce:title>},
    Number = {0},
    Pages = {57 - 73},
    Title = {New Developments in Environment Machines},
    URL = {http://www.sciencedirect.com/science/article/pii/S1571066109001145},
    Volume = {237},
    Year = {2009},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S1571066109001145},
    bdsk-url-2 = {http://dx.doi.org/10.1016/j.entcs.2009.03.035},
    date-added = {2013-04-29 12:56:49 +0000},
    date-modified = {2017-04-21 08:35:55 +0000},
    file-2 = {1-s2.0-S1571066109001145-main (0) - a - a - l.pdf},
    doi = {10.1016/j.entcs.2009.03.035}
}

@article{FernandezSiafakas, Author = {Fernandez, Maribel and Siafakas, Nikolaos}, File = {New Developments in Environment Machines - Fernandez, Siafakas (0) (0) - a - a - l.pdf}, ISSN = {1571-0661}, Journal = {Electronic Notes in Theoretical Computer Science}, Keywords = {lambda calculus and Krivine machine and reading}, Note = {Proceedings of the 8th International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2008)}, Number = {0}, Pages = {57 - 73}, Title = {New Developments in Environment Machines}, URL = {http://www.sciencedirect.com/science/article/pii/S1571066109001145}, Volume = {237}, Year = {2009}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S1571066109001145}, bdsk-url-2 = {http://dx.doi.org/10.1016/j.entcs.2009.03.035}, date-added = {2013-04-29 12:56:49 +0000}, date-modified = {2017-04-21 08:35:55 +0000}, file-2 = {1-s2.0-S1571066109001145-main (0) - a - a - l.pdf}, doi = {10.1016/j.entcs.2009.03.035} }