DBLP BibTeX Record 'conf/fct/ArnoldN77'

@inproceedings{DBLP:conf/fct/ArnoldN77,
  author    = {Andr{\'e} Arnold and
               Maurice Nivat},
  title     = {Non Deterministic Recursive Program Schemes},
  booktitle = {FCT},
  year      = {1977},
  pages     = {12-21},
  ee        = {http://dx.doi.org/10.1007/3-540-08442-8_65},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}