Simple program schemes and formal languages. Lecture notes in computer science ;

Automata, languages and programming; Lecture notes in computer science ; 267 Ott

Mathematical Logic: 37 Graduate Texts in Mathematics - J. Donald Monk Springer

Elements of Finite Model Theory (Texts in Theoretical Computer Science. An

A Second Course in Formal Languages and Automata Theory by Jeffrey Shallit (Engl

CRESPI von Michael Liebmann

Automata, languages and programming; Lecture notes in computer science ; 226 Kot

A First Course in Formal Language Theory (Computer science texts