Thai Son Hoang Zhendong Jin Ken Robinson Annabelle McIver Carroll Morgan Development via Refinement in Probabilistic B - Foundation and Case Study. 355-373 2005 conf/zum/2005 ZB http://dx.doi.org/10.1007/11415787_21 db/conf/zum/zb2005.html#HoangJRMM05