Title: Mathematical theory of computations
Subjects: Machine theory, Congresses, Computational complexity