Статья Разработка средств автоматизации построения объектно-ориентированных программ с явным выделением состоянии Гуров В. С., Мазин М. А., Шалыто А. А., Нарвский А. С.
Статья UNIMOD – инструментальное средство для автоматного программировани Гуров В. С., Мазин М. А., Шалыто А. А.