1. β-trees, γ-systems, and a Theorem on F-heaps Galil, Zvi; Spencer, Thomas 1984 Reports Computer science