Letter 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./ Date: 08.05.1985 Original document language: russian Authors: Andrei Petrovich Ershov Persons: V. A. Nepomniaschy, Viktor K. Sabelfeld Addressee: Vladimir M. Savinkov
