Theory and Application of Büchi Automata door Aniket Mahanti