Автоматизация логического проектирования дискретных систем: сборник научных трудов - Ракович А. Г. (Минск, ИТК, 1991)