✓

@Book{            book:1413,
  Author        = "Du, Ding-Zhu and Ko, Ker-I",
  date-added    = "2020-04-10 11:07:26 +0200",
  date-modified = "2020-04-10 11:07:26 +0200",
  Edition       = "1st",
  ISBN          = "0471439606,9780471439608,9780471464082",
  Publisher     = "Wiley",
  Title         = "Problem solving in automata, languages, and complexity",
  URL           = "http://gen.lib.rus.ec/book/index.php?md5=8432C20164A4CEBE76D112FDFC901EB3",
  Year          = "2001",
  bdsk-url-1    = "http://gen.lib.rus.ec/book/index.php?md5=8432C20164A4CEBE76D112FDFC901EB3",
  File          = "[Ding-Zhu\_Du,\_Ker-I\_Ko]\_Problem\_solving\_in\_automat(b-ok.xyz) (0) - a - a.pdf",
  file-2        = "[Ding-Zhu\_Du,\_Ker-I\_Ko]\_Problem\_solving\_in\_automat(b-ok.xyz) (0) - a - a.djvu"
}

@Book{ book:1413, Author = "Du, Ding-Zhu and Ko, Ker-I", date-added = "2020-04-10 11:07:26 +0200", date-modified = "2020-04-10 11:07:26 +0200", Edition = "1st", ISBN = "0471439606,9780471439608,9780471464082", Publisher = "Wiley", Title = "Problem solving in automata, languages, and complexity", URL = "http://gen.lib.rus.ec/book/index.php?md5=8432C20164A4CEBE76D112FDFC901EB3", Year = "2001", bdsk-url-1 = "http://gen.lib.rus.ec/book/index.php?md5=8432C20164A4CEBE76D112FDFC901EB3", File = "[Ding-Zhu_Du,_Ker-I_Ko]_Problem_solving_in_automat(b-ok.xyz) (0) - a - a.pdf", file-2 = "[Ding-Zhu_Du,_Ker-I_Ko]_Problem_solving_in_automat(b-ok.xyz) (0) - a - a.djvu" }