@PhdThesis{Sok05:thesis,
  author =   {A. Sokolova},
  title =    {Coalgebraic Analysis of Probabilistic Systems},
  school =   {TU Eindhoven},
  year =     2005
}