Introduction to switching and automata theory - Harrison, Michael A. (Array, 1965)