@incollection{Park,
    doi = {10.1007/bfb0017309},
    url = {https://doi.org/10.1007%2Fbfb0017309},
    publisher = {Springer-Verlag},
    pages = {167--183},
    author = {David Park},
    title = {Concurrency and automata on infinite sequences},
    BookTitle     = "Proceedings of the 5th GI-Conference on Theoretical Computer Science",
  acmid         = "720030",
  Address       = "London, UK, UK",
  date-added    = "2013-10-30 17:20:33 +0000",
  date-modified = "2016-11-22 09:43:10 +0000",
  ISBN          = "3-540-10576-X",
  numpages      = "17",
  Publisher     = "Springer-Verlag",
  Year          = "1981",
  bdsk-url-1    = "http://dl.acm.org/citation.cfm?id=647210.720030"
}

@incollection{Park, doi = {10.1007/bfb0017309}, url = {https://doi.org/10.1007%2Fbfb0017309}, publisher = {Springer-Verlag}, pages = {167--183}, author = {David Park}, title = {Concurrency and automata on infinite sequences}, BookTitle = "Proceedings of the 5th GI-Conference on Theoretical Computer Science", acmid = "720030", Address = "London, UK, UK", date-added = "2013-10-30 17:20:33 +0000", date-modified = "2016-11-22 09:43:10 +0000", ISBN = "3-540-10576-X", numpages = "17", Publisher = "Springer-Verlag", Year = "1981", bdsk-url-1 = "http://dl.acm.org/citation.cfm?id=647210.720030" }