Seol mar théacs é seo: Вып. 2; Теория автоматизированного проектирования