Author: Vsesoi͡uznai͡a konferent͡sii͡a "Problemy sovershenstvovanii͡a sinteza, testirovanii͡a, verifikat͡sii i otladki programm" (1986 Rīga, Latvia)