of the seminar on the problems of automated and information systems of information processing (Apr. 21, 1979), where Ershov is to give a talk "The problem of forming a unified approach to the program construction process" (with Ershov's hand-written remark: "Attended; done"