@article{JFP:1322464,
    Author = {Asperti, Andrea},
    ISSN = {1469-7653},
    Issue = {01},
    Journal = {Journal of Functional Programming},
    Keywords = {no pdf},
    Month = {0},
    Pages = {23--59},
    Title = {A categorical understanding of environment machines},
    URL = {http://journals.cambridge.org/article\_S0956796800000253},
    Volume = {2},
    Year = {1992},
    bdsk-url-1 = {http://journals.cambridge.org/article\_S0956796800000253},
    bdsk-url-2 = {http://dx.doi.org/10.1017/S0956796800000253},
    date-added = {2013-06-26 09:06:54 +0000},
    date-modified = {2013-06-26 09:08:12 +0000},
    numpages = {37},
    doi = {10.1017/S0956796800000253}
}

@article{JFP:1322464, Author = {Asperti, Andrea}, ISSN = {1469-7653}, Issue = {01}, Journal = {Journal of Functional Programming}, Keywords = {no pdf}, Month = {0}, Pages = {23--59}, Title = {A categorical understanding of environment machines}, URL = {http://journals.cambridge.org/article_S0956796800000253}, Volume = {2}, Year = {1992}, bdsk-url-1 = {http://journals.cambridge.org/article_S0956796800000253}, bdsk-url-2 = {http://dx.doi.org/10.1017/S0956796800000253}, date-added = {2013-06-26 09:06:54 +0000}, date-modified = {2013-06-26 09:08:12 +0000}, numpages = {37}, doi = {10.1017/S0956796800000253} }