Голицина С.А. Захарова Г.Б. Кононенко И.А. Титов В.Г. Халиуллина Л.В. Чистов В.П. Шакиров Р.Н. САПР логико-арифметических структур ДИСКО. // Новые информационные технологии в исследовании дискретных структур. Доклады Всероссийской конференции. Екатеринбург, 1996.