Brodal, G. S., Chaudhuri, S. and Radhakrishnan, J. (1996) “The Randomized Complexity of Maintaining the Minimum”, BRICS Report Series, 3(40). doi: 10.7146/brics.v3i40.20022.