Maurice Margenstern Iterative pushdown automata and hyperbolic contour words http://arxiv.org/abs/0907.4957 2009 CoRR abs/0907.4957 db/journals/corr/corr0907.html#abs-0907-4957 informal publication