https://123dok.net/document/z1d481ed-random-real-trees.html