✓

@Book{            BojanczykCzerwinski:Toolbox:2018,
  Author        = "Boja{\'n}czyk, Miko{\l}aj and Czerwi{\'n}ski, Wojciech",
  date-added    = "2021-10-28 12:13:27 +0200",
  date-modified = "2022-08-01 07:47:45 +0200",
  Month         = "Feb",
  Title         = "An Automata Toolbox",
  URL           = "https://www.mimuw.edu.pl/\textasciitilde bojan/paper/automata-toolbox-book",
  Year          = "2018",
  bdsk-url-1    = "https://www.mimuw.edu.pl/\textasciitilde bojan/paper/automata-toolbox-book",
  File          = "An Automata Toolbox.pdf",
  file-2        = "toolbox-reduced-feb6 (0) - a - a - x.pdf",
  file-3        = "toolbox (0) (0) - a - a - x.pdf"
}

@Book{ BojanczykCzerwinski:Toolbox:2018, Author = "Boja{\'n}czyk, Miko{\l}aj and Czerwi{\'n}ski, Wojciech", date-added = "2021-10-28 12:13:27 +0200", date-modified = "2022-08-01 07:47:45 +0200", Month = "Feb", Title = "An Automata Toolbox", URL = "https://www.mimuw.edu.pl/\textasciitilde bojan/paper/automata-toolbox-book", Year = "2018", bdsk-url-1 = "https://www.mimuw.edu.pl/\textasciitilde bojan/paper/automata-toolbox-book", File = "An Automata Toolbox.pdf", file-2 = "toolbox-reduced-feb6 (0) - a - a - x.pdf", file-3 = "toolbox (0) (0) - a - a - x.pdf" }