Introduction to switching and automata theory - Harrison, Michael A. (McGraw-Hill series in systems science, 1965)