@incollection{ArnoldNivat:1979a,
    Author = {Arnold, A. and Nivat, M.},
    BookTitle = {Fundamentals of Computation Theory},
    Editor = {Karpi{\'n}ski, Marek},
    ISBN = {978-3-662-39161-7},
    Language = {English},
    Pages = {12-21},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Lecture Notes in Computer Science},
    Title = {Non Deterministic Recursive Program Schemes},
    URL = {http://dx.doi.org/10.1007/978-3-662-40153-8\_2},
    Year = {1977},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-662-40153-8\_2},
    date-added = {2014-01-29 12:18:39 +0000},
    date-modified = {2014-01-29 12:19:05 +0000},
    doi = {10.1007/978-3-662-40153-8_2}
}

@incollection{ArnoldNivat:1979a, Author = {Arnold, A. and Nivat, M.}, BookTitle = {Fundamentals of Computation Theory}, Editor = {Karpi{\'n}ski, Marek}, ISBN = {978-3-662-39161-7}, Language = {English}, Pages = {12-21}, Publisher = {Springer Berlin Heidelberg}, Series = {Lecture Notes in Computer Science}, Title = {Non Deterministic Recursive Program Schemes}, URL = {http://dx.doi.org/10.1007/978-3-662-40153-8_2}, Year = {1977}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-662-40153-8_2}, date-added = {2014-01-29 12:18:39 +0000}, date-modified = {2014-01-29 12:19:05 +0000}, doi = {10.1007/978-3-662-40153-8_2} }