Wang, Yongge Programming Logics, MPI for Informatics, Max Planck Society;
Wang, Y. (1997). Randomization and Approximation Techniques in Computer Science. In J. Rolim (Ed.), Proceedings of the International Workshop on Randomization and Approximation Techniques in Computer Science (RANDOM-97) (pp. 209-225). Berlin, Germany: Springer.