Christof Löding, Alex Spelten: Transition Graphs of Rewriting Systems over Unranked Trees. MFCS 2007: 67-77