Switching and finite automata theory. - Kohavi Zvi (New Delhi Tata McGraw-Hill, 1978)