@Article{ijfcs02,
  author = 	 {Hartog, J.I. den and Vink, E.P. de},
  title = 	 {Verifying probabilistic programs using a {Hoare}-like logic},
  journal = 	 {International Journal of Foundations of Computer Science},
  volume = 	 {13},
  year = 	 {2002},
  note =	 {315--340}
}