Eric Bach Exact Analysis of a Priority Queue Algorithm for Random Variate Generation. 48-56 1994 SODA db/conf/soda/soda94.html#Bach94