✓

@Book{            Zwiers,
  Author        = "Zwiers, Job",
  date-added    = "2020-04-10 11:07:26 +0200",
  date-modified = "2020-04-10 11:07:26 +0200",
  Keywords      = "asynchronous programs",
  Publisher     = "Springer",
  Series        = "LNCS",
  Title         = "Compositionality, Concurrency and Partial Correctness - Proof Theories for Networks of Processes, and Their Relationship",
  Volume        = "321",
  Year          = "1989",
  File          = "Compositionality, Concurrency and Partial Correctness - Proof Theories for Networks of Processes, and Their Relationship - Zwiers (0) (0) - a - a.pdf"
}

@Book{ Zwiers, Author = "Zwiers, Job", date-added = "2020-04-10 11:07:26 +0200", date-modified = "2020-04-10 11:07:26 +0200", Keywords = "asynchronous programs", Publisher = "Springer", Series = "LNCS", Title = "Compositionality, Concurrency and Partial Correctness - Proof Theories for Networks of Processes, and Their Relationship", Volume = "321", Year = "1989", File = "Compositionality, Concurrency and Partial Correctness - Proof Theories for Networks of Processes, and Their Relationship - Zwiers (0) (0) - a - a.pdf" }