Introduction to switching and automata theory - Harrison, Michael A. (McGraw-Hill Book Company, 1965)