Probabilistic predicative programming - HEHNER, Eric C. R (MPC 2004 : mathematics of program construction (Stirling, 12-14 July 2004), 2004)
text