Title: Mathematical foundations of programming semantics
Subjects: Congresses, Computer programming, Semantics, Programming languages (Electronic computers)