Новый математический аппарат для анализа внешнего поведения и верификации программ : Препринт / Н.А.Абрамова,Т.С.Баталина,Н.А.Гегамов,С.В.Коврига, 1998. - 109 с. - Текст : непосредственный.
Абрамова Н.А. Формализованные модели архитектуры процессов и методика их построения : Препринт / Н. А. Абрамова, С. В. Коврига, И. В. Сперанская, 1989. - 52 с. - Текст : непосредственный.
Модель научно-прикладного понятия, ориентированная на проблемы переноса научных знаний и опыта при решении слабоструктурированных крупномасштабных проблем : Препринт / Н.А.Абрамова,С.В.Коврига,О.П.Кузнецов и др., 1997. - 71 с. - Текст : непосредственный.
Методика верификационной отладки алгоритмов, заданных функциональными схемами : Препринт / Н.А.Абрамова,А.А.Амбарцумян,С.В.Коврига,Э.Е.Рубцова, 1990. - 52 с. - Текст : непосредственный.
Приложение
для Android