@Misc{            CleavelandSmolka,
  Author        = "Cleaveland, Rance and Smolka, Scott A.",
  date-added    = "2013-03-27 14:19:00 +0000",
  date-modified = "2013-03-27 14:19:33 +0000",
  Keywords      = "process algebra",
  Title         = "Process Algebra",
  Year          = "1999",
  File          = "Process Algebra - Cleaveland, Smolka (0) (0) - a - a - v.pdf"
}

@Misc{ CleavelandSmolka, Author = "Cleaveland, Rance and Smolka, Scott A.", date-added = "2013-03-27 14:19:00 +0000", date-modified = "2013-03-27 14:19:33 +0000", Keywords = "process algebra", Title = "Process Algebra", Year = "1999", File = "Process Algebra - Cleaveland, Smolka (0) (0) - a - a - v.pdf" }