Генерирование тестов микропроцессорных систем на модели АГUbar, Raimund-JohannesТехническая диагностика : Тезисы докладов III Международного симпозиума ИМЕКО, Москва, окт. 19831983 / с. 100-103

Пректирование модульных пакетов обработки с помощью систем построения трансляторов и управления базами данныхTepandi, JaakВсесоюзный семинар по методам синтеза типовых модульных систем обработки данных : тезизы докладов1981 / с. 78