AN INTRODUCTION TO MATHEMATICAL MACHINE THEORY - Ginsburg, Seymour (Reading, Mass. Addison-Wesley, 1962)
Keywords: Electronic Data Processing; Mathematical Models; Automata