Covering letter to Prof. Bjorner, submission of the paper "Transformational model of a high-level programming language" for inclusion in the Proceedings of the Workshop Date: 10.08.1987 Original document language: Russian Authors: Vadim N. Falk Addressee: Dines Bjorner