Wang, Yongge Programming Logics, MPI for Informatics, Max Planck Society;
Wang, Y. (1999). Randomness, Stochasticity, and Approximation. Theory of Computing Systems, 32, 517-529.