✓

@Book{            book:1424,
  Author        = "Salomaa, Arto",
  date-added    = "2020-04-10 11:07:26 +0200",
  date-modified = "2020-04-10 11:07:26 +0200",
  ISBN          = "0521302455,9780521302456",
  Publisher     = "Cambridge University Press",
  Series        = "Encyclopedia of mathematics and its applications 25",
  Title         = "Computation and automata",
  URL           = "http://gen.lib.rus.ec/book/index.php?md5=72D38D27AD4042438A41E4845FF0B6E7",
  Year          = "1985",
  bdsk-url-1    = "http://gen.lib.rus.ec/book/index.php?md5=72D38D27AD4042438A41E4845FF0B6E7",
  File          = "Computation and Automata\_ISBN0521302455 (0) - a - a.djvu"
}

@Book{ book:1424, Author = "Salomaa, Arto", date-added = "2020-04-10 11:07:26 +0200", date-modified = "2020-04-10 11:07:26 +0200", ISBN = "0521302455,9780521302456", Publisher = "Cambridge University Press", Series = "Encyclopedia of mathematics and its applications 25", Title = "Computation and automata", URL = "http://gen.lib.rus.ec/book/index.php?md5=72D38D27AD4042438A41E4845FF0B6E7", Year = "1985", bdsk-url-1 = "http://gen.lib.rus.ec/book/index.php?md5=72D38D27AD4042438A41E4845FF0B6E7", File = "Computation and Automata_ISBN0521302455 (0) - a - a.djvu" }