✓

@Book{            sipser:book:2012,
  Author        = "Sipser, Michael",
  date-added    = "2020-04-10 11:07:26 +0200",
  date-modified = "2020-04-10 11:07:26 +0200",
  Edition       = "3",
  ISBN          = "1133187811,9781133187813",
  Publisher     = "Thomson South-Western",
  Title         = "Introduction to the Theory of Computation",
  URL           = "http://gen.lib.rus.ec/book/index.php?md5=83b32c22675567f3e22c93bd6bd372be",
  Year          = "2012",
  bdsk-url-1    = "http://gen.lib.rus.ec/book/index.php?md5=83b32c22675567f3e22c93bd6bd372be",
  File          = "Michael Sipser-Introduction to the Theory of Computation-Course Technology (2012) (0) - a - a.pdf"
}

@Book{ sipser:book:2012, Author = "Sipser, Michael", date-added = "2020-04-10 11:07:26 +0200", date-modified = "2020-04-10 11:07:26 +0200", Edition = "3", ISBN = "1133187811,9781133187813", Publisher = "Thomson South-Western", Title = "Introduction to the Theory of Computation", URL = "http://gen.lib.rus.ec/book/index.php?md5=83b32c22675567f3e22c93bd6bd372be", Year = "2012", bdsk-url-1 = "http://gen.lib.rus.ec/book/index.php?md5=83b32c22675567f3e22c93bd6bd372be", File = "Michael Sipser-Introduction to the Theory of Computation-Course Technology (2012) (0) - a - a.pdf" }