Ian Chiswell

A course in formal languages, automata and groups

Mathematical logic