"Teaching push-down automata and turing machines."

César Ignacio García-Osorio et al. (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics