✓

@Book{            Paz:1971,
  Author        = "Paz, Azaria",
  Editor = "Rheinboldt, Werner",
  date-added    = "2020-09-02 12:02:53 +0200",
  date-modified = "2020-09-02 12:02:53 +0200",
  ISBN          = "978-0-12-547650-8,0125476507",
  Publisher     = "Elsevier Inc, Academic Press Inc",
  Series        = "Computer Science and Applied Mathematics",
  Title         = "Introduction to Probabilistic Automata",
  URL           = "http://gen.lib.rus.ec/book/index.php?md5=5b9fa6eedc87fe21f4c68d69e1861841",
  Year          = "1971",
  bdsk-url-1    = "http://gen.lib.rus.ec/book/index.php?md5=5b9fa6eedc87fe21f4c68d69e1861841",
  File          = "Introduction to Probabilistic Automata by Azaria Paz and Werner Rheinboldt (Auth.) (z-lib.org) - a.pdf"
}

@Book{ Paz:1971, Author = "Paz, Azaria", Editor = "Rheinboldt, Werner", date-added = "2020-09-02 12:02:53 +0200", date-modified = "2020-09-02 12:02:53 +0200", ISBN = "978-0-12-547650-8,0125476507", Publisher = "Elsevier Inc, Academic Press Inc", Series = "Computer Science and Applied Mathematics", Title = "Introduction to Probabilistic Automata", URL = "http://gen.lib.rus.ec/book/index.php?md5=5b9fa6eedc87fe21f4c68d69e1861841", Year = "1971", bdsk-url-1 = "http://gen.lib.rus.ec/book/index.php?md5=5b9fa6eedc87fe21f4c68d69e1861841", File = "Introduction to Probabilistic Automata by Azaria Paz and Werner Rheinboldt (Auth.) (z-lib.org) - a.pdf" }