Title: Program control as a set-theoretic concept
Subjects: Programming languages (Electronic computers)