@article{Gordon1995232,
    Author = {Gordon, Andrew D.},
    File = {Bisimilarity as a Theory of Functional Programming - Gordon (0) (0) - a - a - r.pdf},
    ISSN = {1571-0661},
    Journal = {Electronic Notes in Theoretical Computer Science},
    Keywords = {bisimulation equivalence and functional programming and bisimulation up-to equivalence},
    Note = {<ce:title>MFPS XI, Mathematical Foundations of Programming Semantics, Eleventh Annual Conference</ce:title>},
    Number = {0},
    Pages = {232 - 252},
    Title = {Bisimilarity as a Theory of Functional Programming},
    URL = {http://www.sciencedirect.com/science/article/pii/S1571066104800136},
    Volume = {1},
    Year = {1995},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S1571066104800136},
    bdsk-url-2 = {http://dx.doi.org/10.1016/S1571-0661(04)80013-6},
    date-added = {2013-01-30 17:28:05 +0000},
    date-modified = {2013-01-30 17:29:04 +0000},
    file-2 = {Bisimilarity as a Theory of Functional Programming - Gordon (1) (0) - a - a - r.pdf},
    doi = {10.1016/S1571-0661(04)80013-6}
}

@article{Gordon1995232, Author = {Gordon, Andrew D.}, File = {Bisimilarity as a Theory of Functional Programming - Gordon (0) (0) - a - a - r.pdf}, ISSN = {1571-0661}, Journal = {Electronic Notes in Theoretical Computer Science}, Keywords = {bisimulation equivalence and functional programming and bisimulation up-to equivalence}, Note = {MFPS XI, Mathematical Foundations of Programming Semantics, Eleventh Annual Conference}, Number = {0}, Pages = {232 - 252}, Title = {Bisimilarity as a Theory of Functional Programming}, URL = {http://www.sciencedirect.com/science/article/pii/S1571066104800136}, Volume = {1}, Year = {1995}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S1571066104800136}, bdsk-url-2 = {http://dx.doi.org/10.1016/S1571-0661(04)80013-6}, date-added = {2013-01-30 17:28:05 +0000}, date-modified = {2013-01-30 17:29:04 +0000}, file-2 = {Bisimilarity as a Theory of Functional Programming - Gordon (1) (0) - a - a - r.pdf}, doi = {10.1016/S1571-0661(04)80013-6} }