"Flip-Pushdown Automata: Nondeterminism Is Better than Determinism."

Markus Holzer, Martin Kutrib (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics