✓

@Book{            Srba:roadmap:04,
  Author        = "Srba, J.",
  BookTitle     = "Current Trends In Theoretical Computer Science, The Challenge of the New Century",
  date-added    = "2020-04-10 11:07:26 +0200",
  date-modified = "2020-04-10 11:07:27 +0200",
  Pages         = "337-350",
  Publisher     = "World Scientific Publishing Co.",
  Title         = "Roadmap of Infinite results",
  Volume        = "Vol 2: Formal Models and Semantics",
  Year          = "2004",
  bdsk-url-1    = "http://people.cs.aau.dk/\textasciitilde srba/roadmap/",
  File          = "Roadmap of Infinite results - Srba (0) (0) - a - a.pdf"
}

@Book{ Srba:roadmap:04, Author = "Srba, J.", BookTitle = "Current Trends In Theoretical Computer Science, The Challenge of the New Century", date-added = "2020-04-10 11:07:26 +0200", date-modified = "2020-04-10 11:07:27 +0200", Pages = "337-350", Publisher = "World Scientific Publishing Co.", Title = "Roadmap of Infinite results", Volume = "Vol 2: Formal Models and Semantics", Year = "2004", bdsk-url-1 = "http://people.cs.aau.dk/\textasciitilde srba/roadmap/", File = "Roadmap of Infinite results - Srba (0) (0) - a - a.pdf" }