Introduction to the theory of finite-state machines - Gill, Arthur (McGraw-Hill Book Company, Inc, 1962)