Математические аспекты автоматического проектирования - Габисония В. Е. Владимир Евгеньевич (Тбилиси, Мецниереба, 1988)