Stav dette: Вып. 3; Методы автоматизации проектирования, программирования и моделирования