Now downloading 2005_ShanksBH_SynthesisHierarchicallyStructured.pdf...