Letter of Andrei Ershov to WG 2.1 members suggesting an official meeting in Edinburgh See original record