Статья ВЕРИФИКАЦИЯ АВТОМАТНЫХ ПРОГРАММ ПРИ ПОМОЩИ ВЕРИФИКАТОРА UNIMOD.VERIFIER Гуров В. С., Яминов Б.Р.
Статья Разработка средств автоматизации построения объектно-ориентированных программ с явным выделением состоянии Гуров В. С., Мазин М. А., Шалыто А. А., Нарвский А. С.
Статья UNIMOD – инструментальное средство для автоматного программировани Гуров В. С., Мазин М. А., Шалыто А. А.