Formal semantics of programming languages [proceedings of a symposium], September