TY - BOOK AU - Kohavi Zvi. TI - Switching and finite automata theory CY - Delhi KW - MECHANICAL ER -