✓

@Book{            book:3352008,
  Author        = "Pettorossi, Alberto",
  date-added    = "2022-08-18 08:28:07 +0200",
  date-modified = "2022-08-18 08:28:07 +0200",
  ISBN          = "3031119649,9783031119644",
  Publisher     = "Springer",
  Series        = "Undergraduate Topics in Computer Science",
  Title         = "Automata Theory and Formal Languages: Fundamental Notions, Theorems, and Techniques",
  URL           = "http://gen.lib.rus.ec/book/index.php?md5=FAC491C786A6663A6A8FC3A1E0EE5F12",
  Year          = "2022",
  bdsk-url-1    = "http://gen.lib.rus.ec/book/index.php?md5=FAC491C786A6663A6A8FC3A1E0EE5F12",
  File          = "Automata Theory and Formal Languages Fundamental Notions, Theorems, and Techniques (Alberto Pettorossi) (z-lib.org).pdf"
}

@Book{ book:3352008, Author = "Pettorossi, Alberto", date-added = "2022-08-18 08:28:07 +0200", date-modified = "2022-08-18 08:28:07 +0200", ISBN = "3031119649,9783031119644", Publisher = "Springer", Series = "Undergraduate Topics in Computer Science", Title = "Automata Theory and Formal Languages: Fundamental Notions, Theorems, and Techniques", URL = "http://gen.lib.rus.ec/book/index.php?md5=FAC491C786A6663A6A8FC3A1E0EE5F12", Year = "2022", bdsk-url-1 = "http://gen.lib.rus.ec/book/index.php?md5=FAC491C786A6663A6A8FC3A1E0EE5F12", File = "Automata Theory and Formal Languages Fundamental Notions, Theorems, and Techniques (Alberto Pettorossi) (z-lib.org).pdf" }