Straubingand Weil. An Introduction to Finite Automata and Their Connection to Logic. Co-Published with Indian Institute of Science (IISc), Bangalore, India, 2012, doi:10.1142/9789814271059_0001.