@InBook{          AcetoIngolfsdottirSrba,
  Author        = "Aceto, Luca and Ingolfsdottir, Anna and Srba, Jiri",
  date-added    = "2013-11-24 22:15:01 +0000",
  date-modified = "2013-11-24 22:15:41 +0000",
  Title         = "The Algorithmics of Bisimilarity",
  File          = "The Algorithmics of Bisimilarity - Aceto, Ingolfsdottir, Srba (0) (0) - a - a - w.pdf"
}

@InBook{ AcetoIngolfsdottirSrba, Author = "Aceto, Luca and Ingolfsdottir, Anna and Srba, Jiri", date-added = "2013-11-24 22:15:01 +0000", date-modified = "2013-11-24 22:15:41 +0000", Title = "The Algorithmics of Bisimilarity", File = "The Algorithmics of Bisimilarity - Aceto, Ingolfsdottir, Srba (0) (0) - a - a - w.pdf" }