Annabelle McIver Carroll Morgan Developing and Reasoning About Probabilistic Programs in <i>pGCL</i>. 123-155 2004 conf/psse/2004 PSSE http://dx.doi.org/10.1007/11889229_4 db/conf/psse/psse2004.html#McIverM04