@Article{BK00a,
  author = 	 {C.~Baier and M.Z.~Kwiatkowska},
  title = 	 {Domain
      Equations for Probabilistic Processes},
  journal = 	 {Mathematical Structures in Computer Science},
  year = 	 2000,
  volume =	 10,
  number =	 6,
  pages =	 {665-717}
}