@InProceedings{MB95,
  author = 	 {M.~Majster-Cederbaum and C.~Baier},
  title = 	 {Metric Completion versus Ideal Completion},
  booktitle = 	 {Proc. 	International Workshop on Structures in Concurrency Theory	(STRICT'95), Workshops in Computing},
  pages =	 {236-248},
  year =	 1995,
  editor =	 {J.~Desel}
}