@article{Arnold1980181,
    Author = {Arnold, A. and Nivat, M.},
    File = {Metric interpretations of infinite trees and semantics of non deterministic recursive programs - Arnold, Nivat (0) (0) - a - a - g.pdf},
    ISSN = {0304-3975},
    Journal = {Theoretical Computer Science},
    Keywords = {recursive schemes},
    Number = {2},
    Pages = {181 - 205},
    Title = {Metric interpretations of infinite trees and semantics of non deterministic recursive programs},
    URL = {http://www.sciencedirect.com/science/article/pii/0304397580900456},
    Volume = {11},
    Year = {1980},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/0304397580900456},
    bdsk-url-2 = {http://dx.doi.org/10.1016/0304-3975(80)90045-6},
    date-added = {2013-07-09 14:32:42 +0000},
    date-modified = {2013-07-09 14:32:53 +0000},
    doi = {10.1016/0304-3975(80)90045-6}
}

@article{Arnold1980181, Author = {Arnold, A. and Nivat, M.}, File = {Metric interpretations of infinite trees and semantics of non deterministic recursive programs - Arnold, Nivat (0) (0) - a - a - g.pdf}, ISSN = {0304-3975}, Journal = {Theoretical Computer Science}, Keywords = {recursive schemes}, Number = {2}, Pages = {181 - 205}, Title = {Metric interpretations of infinite trees and semantics of non deterministic recursive programs}, URL = {http://www.sciencedirect.com/science/article/pii/0304397580900456}, Volume = {11}, Year = {1980}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/0304397580900456}, bdsk-url-2 = {http://dx.doi.org/10.1016/0304-3975(80)90045-6}, date-added = {2013-07-09 14:32:42 +0000}, date-modified = {2013-07-09 14:32:53 +0000}, doi = {10.1016/0304-3975(80)90045-6} }