✓

@Book{            Kurshan:1994:CVC:194184,
  Author        = "Kurshan, Robert P.",
  Address       = "Princeton, NJ, USA",
  date-added    = "2020-04-10 11:07:26 +0200",
  date-modified = "2020-04-10 11:07:26 +0200",
  ISBN          = "0-691-03436-2",
  Publisher     = "Princeton University Press",
  Title         = "Computer-aided Verification of Coordinating Processes: The Automata-theoretic Approach",
  Year          = "1994"
}

@Book{ Kurshan:1994:CVC:194184, Author = "Kurshan, Robert P.", Address = "Princeton, NJ, USA", date-added = "2020-04-10 11:07:26 +0200", date-modified = "2020-04-10 11:07:26 +0200", ISBN = "0-691-03436-2", Publisher = "Princeton University Press", Title = "Computer-aided Verification of Coordinating Processes: The Automata-theoretic Approach", Year = "1994" }