"Some Results About Finite and Infinite Behaviours of a Pushdown Automaton."

Danièle Beauquier (1984)
a service of Schloss Dagstuhl - Leibniz Center for Informatics