✓

@Book{            Zwiers:1989:CCP:75482,
  Author        = "Zwiers, J.",
  Address       = "New York, NY, USA",
  date-added    = "2020-04-10 11:07:26 +0200",
  date-modified = "2020-04-10 11:07:26 +0200",
  ISBN          = "0-387-50845-7",
  Publisher     = "Springer-Verlag New York, Inc.",
  Title         = "Compositionality, Concurrency and Partial Correctness",
  Year          = "1989"
}

@Book{ Zwiers:1989:CCP:75482, Author = "Zwiers, J.", Address = "New York, NY, USA", date-added = "2020-04-10 11:07:26 +0200", date-modified = "2020-04-10 11:07:26 +0200", ISBN = "0-387-50845-7", Publisher = "Springer-Verlag New York, Inc.", Title = "Compositionality, Concurrency and Partial Correctness", Year = "1989" }