@InCollection{Klin:2009,
  doi           = "10.5555/1809296.1809303", 
  Author        = "Klin, Bartek",
  Editor        = "Palsberg, Jens",
  acmid         = "1809303",
  Address       = "Berlin, Heidelberg",
  Chapter       = "Semantics and algebraic specification",
  date-added    = "2013-03-27 14:20:33 +0000",
  date-modified = "2013-03-27 14:21:45 +0000",
  ISBN          = "3-642-04163-9, 978-3-642-04163-1",
  numpages      = "19",
  Pages         = "121--139",
  Publisher     = "Springer-Verlag",
  Title         = "Structural operational semantics for weighted transition systems",
  URL           = "http://dl.acm.org/citation.cfm?id=1809296.1809303",
  Year          = "2009"
}

@InCollection{Klin:2009, doi = "10.5555/1809296.1809303", Author = "Klin, Bartek", Editor = "Palsberg, Jens", acmid = "1809303", Address = "Berlin, Heidelberg", Chapter = "Semantics and algebraic specification", date-added = "2013-03-27 14:20:33 +0000", date-modified = "2013-03-27 14:21:45 +0000", ISBN = "3-642-04163-9, 978-3-642-04163-1", numpages = "19", Pages = "121--139", Publisher = "Springer-Verlag", Title = "Structural operational semantics for weighted transition systems", URL = "http://dl.acm.org/citation.cfm?id=1809296.1809303", Year = "2009" }