@InCollection{BM97,
  author = 	 {C.~Baier and M.~Majster-Cederbaum},
  title = 	 {Metric Semantics from Partial Order Semantics},
  booktitle = 	 {Acta Informatica},
  pages = 	 {701-735},
  year =	 1997,
  volume =	 34
}