Greg N. Frederickson: The Information Theory Bound Is Tight for Selection in a Heap. STOC 1990: 26-33