Probabilistic Choice, Reversibility, Loops, and Miracles. - Bill Stoddart; Pete Bell (UTP, 2010)