Leaf Cell and Hierarchical Compaction Techniques (The Springer International Series in Engineering and Computer Science, 407, Band 407)