Invitation of he Royal Society to the meeting for discussio on mathematical logics and programming languages Date: 17.01.1984 Original document language: English Authors: R. W. J. Keay Organizations: Royal Society Persons: C. A. R. Hoare Addressee: Andrei Petrovich Ershov