Theory and Application of Büchi Automata by Aniket Mahanti