Switching and finite automata theory. - Kohavi, Zvi (rz1, 1978)