@inproceedings{DBLP:conf/galop/Murawski05,
  author    = {Andrzej S. Murawski},
  title     = {Functions with local state: from regularity to undecidability},
  booktitle = {GALOP},
  year      = {2005},
  pages     = {124-138},
  crossref  = {DBLP:conf/galop/2005},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/galop/2005,
  editor    = {Dan R. Ghica and
               Guy McCusker},
  title     = {Games for Logic and Programming Languages (GALOP 2005),
               University of Edinburgh, 2-3 April 2005, The workshop was
               organized as part of the ETAPS Conference},
  booktitle = {GALOP},
  year      = {2005},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}