Teaching push-down automata and turing machines. - César Ignacio García-Osorio; Iñigo Mediavilla-Sáiz; Javier Jimeno-Visitación; Nicolás García-Pedrajas (ITiCSE, 2008)