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