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