Проблемы совершенствования синтеза, тестирования, верификации и отладки программ: Тез. докл. всесоюз. науч. конф., Рига, 12-14 нояб. 1986 г. / [Редкол.: Я. М. Барздинь (отв. ред.) и др.]