✓

@Book{            SalomaaSoittola:Book:PowerSeries:1978,
  Author        = "Salomaa, Arto and Soittola, Marti",
  date-added    = "2020-04-10 11:07:26 +0200",
  date-modified = "2020-06-11 07:45:17 +0200",
  DOI           = "10.1007/978-1-4612-6264-0",
  ISBN          = "3540902821",
  Publisher     = "Springer",
  Series        = "Texts and Monographs in Computer Science",
  Title         = "Automata-theoretic aspects of formal power series",
  URL           = "http://gen.lib.rus.ec/book/index.php?md5=1E7B3DCFFFC7F6146062637382E5067D",
  Year          = "1978",
  bdsk-url-1    = "http://gen.lib.rus.ec/book/index.php?md5=1E7B3DCFFFC7F6146062637382E5067D",
  bdsk-url-2    = "https://doi.org/10.1007/978-1-4612-6264-0",
  File          = "Automata-theoretic aspects of formal power series.pdf",
  file-2        = "[Arto\_Salomaa,\_Marti\_Soittola]\_Automata-theoretic\_(b-ok.xyz) (0) - a - a.djvu"
}

@Book{ SalomaaSoittola:Book:PowerSeries:1978, Author = "Salomaa, Arto and Soittola, Marti", date-added = "2020-04-10 11:07:26 +0200", date-modified = "2020-06-11 07:45:17 +0200", DOI = "10.1007/978-1-4612-6264-0", ISBN = "3540902821", Publisher = "Springer", Series = "Texts and Monographs in Computer Science", Title = "Automata-theoretic aspects of formal power series", URL = "http://gen.lib.rus.ec/book/index.php?md5=1E7B3DCFFFC7F6146062637382E5067D", Year = "1978", bdsk-url-1 = "http://gen.lib.rus.ec/book/index.php?md5=1E7B3DCFFFC7F6146062637382E5067D", bdsk-url-2 = "https://doi.org/10.1007/978-1-4612-6264-0", File = "Automata-theoretic aspects of formal power series.pdf", file-2 = "[Arto_Salomaa,_Marti_Soittola]_Automata-theoretic_(b-ok.xyz) (0) - a - a.djvu" }