@inproceedings{eberl19j,
author="Eberl, Manuel and Haslbeck, Max W. and Nipkow, Tobias",
title="Verified Analysis of Random Binary Tree Structures",
year="2019",
note="Draft available at \url{https://www21.in.tum.de/~eberlm/pdfs/random_trees_journal.pdf}"
}