Problemy sovershenstvovaniia sinteza, testirovaniia, verifikatsii i otladki programm  Tezisy dokladov Vsesoiuznoj nauchnoj konferintsii Riga, 12 - 14 noiabria 1986 g  Vol. 1 si vol. 2 
Redactor: Ia. M. Barzdin' si altii 
 - Riga  Latvijskij gosudarstvennyj universitet im. P. Stuchki  1986 
 - 206 p. (vol. 1); 156 p. (vol. 2)  20 cm 
<br/><br/> Cuprinde bibliografie pe capitole si index  Scriere chirilica