Title: Machines, computations, and universality
Subjects: Algorithms, Computer programming, Congresses