Title: Mathematical semantics and design of programming languages
Subjects: Programming languages (Electronic computers)