Michael L. Fredman, Thomas H. Spencer: Refined Complexity Analysis for Heap Operations. J. Comput. Syst. Sci. 35(3): 269-284 (1987)