@chapter{Thomasa,
    Author = {Thomas, Wolfgang},
    BookTitle = {Developments in Language Theory},
    File = {A Short Introduction to Infinite Automata - Thomas (0) (0) - a - a - b.pdf},
    Pages = {65--71},
    Series = {Lecture Notes in Computer Science},
    Title = {A Short Introduction to Infinite Automata},
    Volume = {2295},
    Year = {2002},
    bdsk-url-1 = {http://www.springerlink.com/content/f0em78flwvkunemd/fulltext.pdf},
    bdsk-url-2 = {http://dx.doi.org/10.1007/3-540-46011-X\_10},
    date-added = {2012-05-08 22:41:39 +0200},
    date-modified = {2012-05-08 20:41:39 +0000},
    file-2 = {A Short Introduction to Infinite Automata - Thomas (1) (0) - a - a - b.pdf},
    doi = {10.1007/3-540-46011-X_10}
}

@chapter{Thomasa, Author = {Thomas, Wolfgang}, BookTitle = {Developments in Language Theory}, File = {A Short Introduction to Infinite Automata - Thomas (0) (0) - a - a - b.pdf}, Pages = {65--71}, Series = {Lecture Notes in Computer Science}, Title = {A Short Introduction to Infinite Automata}, Volume = {2295}, Year = {2002}, bdsk-url-1 = {http://www.springerlink.com/content/f0em78flwvkunemd/fulltext.pdf}, bdsk-url-2 = {http://dx.doi.org/10.1007/3-540-46011-X_10}, date-added = {2012-05-08 22:41:39 +0200}, date-modified = {2012-05-08 20:41:39 +0000}, file-2 = {A Short Introduction to Infinite Automata - Thomas (1) (0) - a - a - b.pdf}, doi = {10.1007/3-540-46011-X_10} }