Trees: structure and function (Springer, 1986)