Советско-французский коллоквиум по математическим проблемам информатики. Выступает А.П. Ершов: "Как определить трансформационную семантику языков программирования".