Vsesoi͡uznai͡a nauchnai͡a konferent͡sii͡a "Sintez, testirovanie, verifikat͡sii͡a i otladka programm" (1981 Riga, Latvia)