@Article{         Elgot:WMSO:1961,
  Author        = "Elgot, Calvin C.",
  copyright     = "Copyright {\copyright} 1961 American Mathematical Society",
  date-added    = "2012-12-03 15:17:05 +0000",
  date-modified = "2020-01-21 16:08:04 +0100",
  ISSN          = "00029947",
  Journal       = "Transactions of the American Mathematical Society",
  jstor_articletype="research-article",
  jstor_formatteddate="Jan., 1961",
  Keywords      = "classic",
  Language      = "English",
  Number        = "1",
  Pages         = "21--51",
  Publisher     = "American Mathematical Society",
  Title         = "Decision Problems of Finite Automata Design and Related Arithmetics",
  URL           = "http://www.jstor.org/stable/1993511",
  Volume        = "98",
  Year          = "1961",
  Doi           = "doi:10.1090/S0002-9947-1961-0139530-9",
  bdsk-url-1    = "http://www.jstor.org/stable/1993511",
  File          = "Decision Problems of Finite Automata Design and Related Arithmetics - Elgot (0) (0) - a - a - q.pdf"
}

@Article{ Elgot:WMSO:1961, Author = "Elgot, Calvin C.", copyright = "Copyright {\copyright} 1961 American Mathematical Society", date-added = "2012-12-03 15:17:05 +0000", date-modified = "2020-01-21 16:08:04 +0100", ISSN = "00029947", Journal = "Transactions of the American Mathematical Society", jstor_articletype="research-article", jstor_formatteddate="Jan., 1961", Keywords = "classic", Language = "English", Number = "1", Pages = "21--51", Publisher = "American Mathematical Society", Title = "Decision Problems of Finite Automata Design and Related Arithmetics", URL = "http://www.jstor.org/stable/1993511", Volume = "98", Year = "1961", Doi = "doi:10.1090/S0002-9947-1961-0139530-9", bdsk-url-1 = "http://www.jstor.org/stable/1993511", File = "Decision Problems of Finite Automata Design and Related Arithmetics - Elgot (0) (0) - a - a - q.pdf" }