Letter The author is informing of finally submitting an abstract and detailed summary as a contribution to the 6th ICSE and informs of his book with further contribution being published around Sept. 1982 Date: 05.03.1982 Original document language: English Authors: Dines Bjorner Persons: Vadim E. Kotov Addressee: Andrei Petrovich Ershov
