T. Flouri, “On Tree Pattern Matching by Pushdown Automata”, Acta Polytech, vol. 49, no. 2, Jan. 2009.