Инструментальное средство UniMod для поддержки автоматного программирования

Гуров В.С., Мазин М.А., Нарвский А.С., Шалыто А.А. Инструментальное средство UniMod для поддержки автоматного программирования