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