Theory of Computation: Automata, Formal Languages, Computation and Complexity by

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

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

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

Formal Methods for Software Engineering: Languages, Methods, Application Domains

Automata, languages and programming; Lecture notes in computer science ; 115 Eve

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

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