about V.Sabelfeld's dissertation defence

The author recommends to publish the article by V.A.Nepomniaschy and V.K.Sabelfeld "Transformational Synthesis of Correct Programs" in "Applied Informatics". He gives a high appreciation of this article. /Handwritten text./

requesting to be an official opponent at Sabelfeld's dissertation defence

for the NSU publishing department plans for 1989; it is recommended to publish the tutorial by V. Kasyanov and V. Sabelfeld "Collected tasks and exercises in programming"

Request to check the corrections and to express the opinion about advisability of publishing V.K. Sabelfeld’s “A letter to editors”; request to prepare a material for “Kibernetika” anniversary issue and to find out Liapunov’s reaction to congratulations in his honor.

Request for an opinion on the paper by V. Sabelfeld "The tree equivalence of linear recursive schemata in polynomial-time decidable"; asks for the references to the up-to-date works on the subject of Ershov's presentation at the MFCS'81 Conference

The author informs about his visit to Switzerland by N. Wirth's invitation, about his health. He thanks for the letter, especially for the offer of the Munich Informatics Club to pay his dues to ACM, but he, as a full Academy member, has an official right to it from his Academy. He also informs that V.Sabelfeld is working already on a translation of the third edition of "Informatics".