Title: Theory of machines and computations
Subjects: Congresses, Formal languages, Numerical calculations, Sequential machine theory, Switching theory, Cataloging, Calculators