✓

@Book{            MannaPnueli:1996,
  Author        = "Manna, Zohar and Pnueli, Amir",
  date-added    = "2020-04-10 11:07:26 +0200",
  date-modified = "2020-04-10 11:07:26 +0200",
  Title         = "Temporal Verification of Reactive Systems: Progress",
  Year          = "1996",
  File          = "apch1 (0) (0) - a - a.ps",
  file-2        = "apch3 (0) (0) - a - a.ps",
  file-3        = "apch2 (0) (0) - a - a.ps"
}

@Book{ MannaPnueli:1996, Author = "Manna, Zohar and Pnueli, Amir", date-added = "2020-04-10 11:07:26 +0200", date-modified = "2020-04-10 11:07:26 +0200", Title = "Temporal Verification of Reactive Systems: Progress", Year = "1996", File = "apch1 (0) (0) - a - a.ps", file-2 = "apch3 (0) (0) - a - a.ps", file-3 = "apch2 (0) (0) - a - a.ps" }