Solutions to selected problems to accompany switching and finite automata theory - Kohavi, Zvi (McGraw-Hill, 1970)