@incollection{murawski05,
    Author = {Murawski, A.S. and Ong, C.-H.L. and Walukiewicz, I.},
    BookTitle = {Automata, Languages and Programming},
    Editor = {Caires, Lu{\'\i}s and Italiano, Giuseppe F. and Monteiro, Lu{\'\i}s and Palamidessi, Catuscia and Yung, Moti},
    File = {Idealized Algol with Ground Recursion, and DPDA Equivalence - Murawski, Ong, Walukiewicz (0) (0) - a - a - e.pdf},
    ISBN = {978-3-540-27580-0},
    Keywords = {game semantics and deterministic pushdown automata},
    Pages = {917-929},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Lecture Notes in Computer Science},
    Title = {Idealized Algol with Ground Recursion, and DPDA Equivalence},
    URL = {http://dx.doi.org/10.1007/11523468\_74},
    Volume = {3580},
    Year = {2005},
    bdsk-url-1 = {http://dx.doi.org/10.1007/11523468\_74},
    date-added = {2013-05-01 16:57:51 +0000},
    date-modified = {2013-05-01 17:13:05 +0000},
    doi = {10.1007/11523468_74}
}

@incollection{murawski05, Author = {Murawski, A.S. and Ong, C.-H.L. and Walukiewicz, I.}, BookTitle = {Automata, Languages and Programming}, Editor = {Caires, Lu{\'\i}s and Italiano, Giuseppe F. and Monteiro, Lu{\'\i}s and Palamidessi, Catuscia and Yung, Moti}, File = {Idealized Algol with Ground Recursion, and DPDA Equivalence - Murawski, Ong, Walukiewicz (0) (0) - a - a - e.pdf}, ISBN = {978-3-540-27580-0}, Keywords = {game semantics and deterministic pushdown automata}, Pages = {917-929}, Publisher = {Springer Berlin Heidelberg}, Series = {Lecture Notes in Computer Science}, Title = {Idealized Algol with Ground Recursion, and DPDA Equivalence}, URL = {http://dx.doi.org/10.1007/11523468_74}, Volume = {3580}, Year = {2005}, bdsk-url-1 = {http://dx.doi.org/10.1007/11523468_74}, date-added = {2013-05-01 16:57:51 +0000}, date-modified = {2013-05-01 17:13:05 +0000}, doi = {10.1007/11523468_74} }