"Markov chains, computer proofs, and average-case analysis of best fit bin ..."

Edward G. Coffman Jr. et al. (1993)
a service of Schloss Dagstuhl - Leibniz Center for Informatics