TY - BOOK AU - JHA, NIRAJ K. TI - SWITCHING AND FINITE AUTOMATED THEORY PB - cambridge ER -