Probabilistic methods for algorithmic discrete mathematics (Berlin ; | New York : Springer, 1998)