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