Introduction to switching and automata theory - Harrison, Michael A. (McGraw Hill Series in Systems Science, 1965)