@InCollection{BM94,
  author = 	 {C.~Baier and M.~Majster-Cederbaum},
  title = 	 {Denotational Semantics in the CPO and Metric Approach},
  booktitle = 	 {Theoretical Computer Science},
  OPTpages = 	 {171-220},
  OPTyear = 	 {1994},
  OPTvolume = 	 {135}
}