Eberl, M., Haslbeck, M.W., Nipkow, T., 2020. Verified Analysis of Random Binary Tree Structures.. https://doi.org/10.1007/s10817-020-09545-0