Логическое проектирование дискретных устройств с использованием продукционно-фреймовой модели... Техническая литература