An alternative derivation of a binary heap construction function

Augusteijn, L. (1993). An alternative derivation of a binary heap construction function. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 669 LNCS, pp. 368–374). Springer Verlag. https://doi.org/10.1007/3-540-56625-2_23