@article{ArnoldNivat:1979b,
    Author = {Arnold, Andr{\'e} and Nivat, Maurice},
    File = {Formal computations of non deterministic recursive program schemes - Arnold, Nivat (0) (0) - a - a - q.pdf},
    ISSN = {0025-5661},
    Journal = {Mathematical systems theory},
    Keywords = {recursive schemes},
    Language = {English},
    Number = {1},
    Pages = {219-236},
    Publisher = {Springer-Verlag},
    Title = {Formal computations of non deterministic recursive program schemes},
    URL = {http://dx.doi.org/10.1007/BF01744297},
    Volume = {13},
    Year = {1979},
    bdsk-url-1 = {http://dx.doi.org/10.1007/BF01744297},
    date-added = {2014-01-29 12:16:58 +0000},
    date-modified = {2014-01-29 12:19:09 +0000},
    doi = {10.1007/BF01744297}
}

@article{ArnoldNivat:1979b, Author = {Arnold, Andr{\'e} and Nivat, Maurice}, File = {Formal computations of non deterministic recursive program schemes - Arnold, Nivat (0) (0) - a - a - q.pdf}, ISSN = {0025-5661}, Journal = {Mathematical systems theory}, Keywords = {recursive schemes}, Language = {English}, Number = {1}, Pages = {219-236}, Publisher = {Springer-Verlag}, Title = {Formal computations of non deterministic recursive program schemes}, URL = {http://dx.doi.org/10.1007/BF01744297}, Volume = {13}, Year = {1979}, bdsk-url-1 = {http://dx.doi.org/10.1007/BF01744297}, date-added = {2014-01-29 12:16:58 +0000}, date-modified = {2014-01-29 12:19:09 +0000}, doi = {10.1007/BF01744297} }