@article{Power2002323,
    Author = {Power, John and Rosolini, Giuseppe},
    File = {Fixpoint operators for domain equations - Power, Rosolini (0) (0) - a - a - o.pdf},
    ISSN = {0304-3975},
    Journal = {Theoretical Computer Science},
    Keywords = {Yoneda lemma},
    Note = {<ce:title>Mathematical Foundations of Programming Semantics 1996</ce:title>},
    Number = {1--2},
    Pages = {323 - 333},
    Title = {Fixpoint operators for domain equations},
    URL = {http://www.sciencedirect.com/science/article/pii/S0304397500003418},
    Volume = {278},
    Year = {2002},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0304397500003418},
    bdsk-url-2 = {http://dx.doi.org/10.1016/S0304-3975(00)00341-8},
    date-added = {2014-01-04 13:08:51 +0000},
    date-modified = {2014-01-04 13:08:51 +0000},
    doi = {10.1016/S0304-3975(00)00341-8}
}

@article{Power2002323, Author = {Power, John and Rosolini, Giuseppe}, File = {Fixpoint operators for domain equations - Power, Rosolini (0) (0) - a - a - o.pdf}, ISSN = {0304-3975}, Journal = {Theoretical Computer Science}, Keywords = {Yoneda lemma}, Note = {Mathematical Foundations of Programming Semantics 1996}, Number = {1--2}, Pages = {323 - 333}, Title = {Fixpoint operators for domain equations}, URL = {http://www.sciencedirect.com/science/article/pii/S0304397500003418}, Volume = {278}, Year = {2002}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0304397500003418}, bdsk-url-2 = {http://dx.doi.org/10.1016/S0304-3975(00)00341-8}, date-added = {2014-01-04 13:08:51 +0000}, date-modified = {2014-01-04 13:08:51 +0000}, doi = {10.1016/S0304-3975(00)00341-8} }