Functional Automata - Formal Languages for Computer Science Students. - Marco T. Morazán; Rosario Antunez (TFPIE, 2014)