Проектирование и эксплуатация региональных АСНТИ / Б.С.Елепов,Л.К.Бобров,С.Р.Баженов,Н.Е.Каленов;Под ред. В. Е. Котова, 1991. - 174 c. - Текст : непосредственный.
Архитектура, матобеспечение и средства интеллектуализации вычислительных систем : Сб. науч. тр. / АН СССР, Сиб. отд-ние, ВЦ, 1989. - 157 с. - Текст : непосредственный.
Программные и вычислительные системы: методы и языки анализа : Сб. / Ред. В. Е. Котов, 1993. - 303 c. - Текст : непосредственный.
Котов В.Е. Теория схем программ / В.Е.Котов,В.К.Сабельфельд, 1991. - 248 c. - Текст : непосредственный.
Проблемы современного программирования : Сб.ст. / Под ред. В.Е.Котова, 1991. - 296 с.
Замулин А.В. Системы программирования баз данных и знаний / А.В.Замулин;Отв. ред. В. Е. Котов, 1990. - 351 c. - Текст : непосредственный.
Системы программирования. Теория и приложения : Сб.ст. / Под ред.В.Е.Котова, 1993. - 247 с. - Текст : непосредственный.
Теоретические проблемы систем обработки информации : Сб. науч. тр. / АН СССР, Сиб. отд-ние, ВЦ, 1990. - 160 с. - Текст : непосредственный.
Приложение
для Android