Математическое обеспечение автоматического проектирования : Моделирование дискрет. систем. [Сб. статей1981170 с.