Probabilistic methods for algorithmic discrete mathematics - Habib, M, et al (1998)