References


The main textbook for the course will be:
[Kozen] Automata and Computability - Dexter C. Kozen - Springer Publishers.

Reference textbooks:
(these we will be using sometimes, but only rarely)