✓

@Book{            book:945596,
  Author        = "Khoussainov, Bakhadyr and Nerode, Anil",
  date-added    = "2020-04-10 11:07:26 +0200",
  date-modified = "2023-11-25 18:07:20 +0100",
  Edition       = "1",
  ISBN          = "978-1-4612-6645-7,978-1-4612-0171-7",
  Publisher     = {Birkh{\"a}user Basel},
  Series        = "Progress in Computer Science and Applied Logic 21",
  Title         = "Automata Theory and its Applications",
  URL           = "http://gen.lib.rus.ec/book/index.php?md5=523c832647a39828fb9e4055173ddb1b",
  Year          = "2001",
  bdsk-url-1    = "http://gen.lib.rus.ec/book/index.php?md5=523c832647a39828fb9e4055173ddb1b",
  File          = "[Bakhadyr\_Khoussainov,\_Anil\_Nerode\_(auth.)]\_Automa(b-ok.xyz) (0) - a - a.pdf"
}

@Book{ book:945596, Author = "Khoussainov, Bakhadyr and Nerode, Anil", date-added = "2020-04-10 11:07:26 +0200", date-modified = "2023-11-25 18:07:20 +0100", Edition = "1", ISBN = "978-1-4612-6645-7,978-1-4612-0171-7", Publisher = {Birkh{\"a}user Basel}, Series = "Progress in Computer Science and Applied Logic 21", Title = "Automata Theory and its Applications", URL = "http://gen.lib.rus.ec/book/index.php?md5=523c832647a39828fb9e4055173ddb1b", Year = "2001", bdsk-url-1 = "http://gen.lib.rus.ec/book/index.php?md5=523c832647a39828fb9e4055173ddb1b", File = "[Bakhadyr_Khoussainov,_Anil_Nerode_(auth.)]_Automa(b-ok.xyz) (0) - a - a.pdf" }