Title: Symposium on semantics of algorithmic languages
Subjects: Computer algorithms, Congresses, Formal languages, Semantics, Programming languages (Electronic computers)