✓

@Book{            book:1625772,
  Author        = "AAVV",
  Editor        = "Gibson-Robinson, Thomas and Hopcroft, Philippa and Lazi{\'c}, Ranko",
  date-added    = "2020-04-10 11:07:26 +0200",
  date-modified = "2023-08-29 10:47:29 +0200",
  Edition       = "1",
  ISBN          = "978-3-319-51045-3, 978-3-319-51046-0",
  Publisher     = "Springer International Publishing",
  Series        = "Lecture Notes in Computer Science 10160",
  Title         = "Concurrency, Security, and Puzzles: Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday",
  URL           = "http://gen.lib.rus.ec/book/index.php?md5=3EEE5C372CA243D721663DB0CE19C0A4",
  Year          = "2017",
  bdsk-url-1    = "http://gen.lib.rus.ec/book/index.php?md5=3EEE5C372CA243D721663DB0CE19C0A4",
  File          = "(Lecture Notes in Computer Science 10160) Thomas Gibson-Robinson, Philippa Hopcroft, Ranko Lazić (eds.)-Concurrency, Security, and Puzzles\_ Essays Dedicated to Andrew William Roscoe on the Occasion of (0) - a - a.pdf"
}

@Book{ book:1625772, Author = "AAVV", Editor = "Gibson-Robinson, Thomas and Hopcroft, Philippa and Lazi{\'c}, Ranko", date-added = "2020-04-10 11:07:26 +0200", date-modified = "2023-08-29 10:47:29 +0200", Edition = "1", ISBN = "978-3-319-51045-3, 978-3-319-51046-0", Publisher = "Springer International Publishing", Series = "Lecture Notes in Computer Science 10160", Title = "Concurrency, Security, and Puzzles: Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday", URL = "http://gen.lib.rus.ec/book/index.php?md5=3EEE5C372CA243D721663DB0CE19C0A4", Year = "2017", bdsk-url-1 = "http://gen.lib.rus.ec/book/index.php?md5=3EEE5C372CA243D721663DB0CE19C0A4", File = "(Lecture Notes in Computer Science 10160) Thomas Gibson-Robinson, Philippa Hopcroft, Ranko Lazić (eds.)-Concurrency, Security, and Puzzles_ Essays Dedicated to Andrew William Roscoe on the Occasion of (0) - a - a.pdf" }