Title: Programming Languages and Operational Semantics
Subjects: Programming languages (electronic computers)