Covering letter to the manuscript and translation of the paper presented at the conference on reliable software; thanks for consent to edit th translation Date: 26.12.1974 Original document language: russian Authors: Andrei Petrovich Ershov Addressee: C. A. R. Hoare
