✓

@Book{            Holzmann:SPIN:2004,
  Author        = "Holzmann, Gerard J.",
  date-added    = "2020-04-10 11:07:26 +0200",
  date-modified = "2020-04-10 11:07:27 +0200",
  Publisher     = "Addison-Wesley",
  Title         = "The {Spin} model-checker - {P}rimer and reference manual",
  Year          = "2004",
  File          = "Gerard J. Holzmann Spin Model Checker (0) - a - a.pdf",
  file-2        = "[Gerard\_J.\_Holzmann]\_The\_SPIN\_Model\_Checker\_Prime(BookZZ.org) (0) - a - a.chm",
  file-3        = "files (0). - a - a"
}

@Book{ Holzmann:SPIN:2004, Author = "Holzmann, Gerard J.", date-added = "2020-04-10 11:07:26 +0200", date-modified = "2020-04-10 11:07:27 +0200", Publisher = "Addison-Wesley", Title = "The {Spin} model-checker - {P}rimer and reference manual", Year = "2004", File = "Gerard J. Holzmann Spin Model Checker (0) - a - a.pdf", file-2 = "[Gerard_J._Holzmann]_The_SPIN_Model_Checker_Prime(BookZZ.org) (0) - a - a.chm", file-3 = "files (0). - a - a" }