Синтез, тестирование, верификация и отладка программ : Тез. докл. всесоюз. науч. конф., Рига, 22-24 сент. 1981 г.1981235 с.