F. Drewes, “Towards the Tree Automata Workbench Marbles”, ECEASST, vol. 26, Mar. 2010.