Title: Theories of Programming Languages
Subjects: Programming languages (electronic computers)