Richard Mayr: On the Complexity of Bisimulation Problems for Pushdown Automata. IFIP TCS 2000: 474-488