Title: A theory of programming language semantics
Subjects: Programming languages (Electronic computers), Semantics, Programming languages (electronic computers)