Ina Schiering: Hierarchical accepting systems and monadic second-order logic on graphs. University of Kiel, Germany 1998, 1-177