Rene Meis, Finn Nielsen, Peter Lammich. Binomial Heaps and Skew Binomial Heaps. Archive of Formal Proofs, 2010, 2010. [doi]
@article{MeisNL10, title = {Binomial Heaps and Skew Binomial Heaps}, author = {Rene Meis and Finn Nielsen and Peter Lammich}, year = {2010}, url = {http://afp.sourceforge.net/entries/Binomial-Heaps.shtml}, note = {Formal proof development}, researchr = {https://researchr.org/publication/MeisNL10}, cites = {0}, citedby = {0}, journal = {Archive of Formal Proofs}, volume = {2010}, }