Văn bản này: Вып. 5; Теория автоматизированного проектирования