Система автоматизированного проектирования СБИС (функционально-логический уровень): сборник научных трудов - Мищенко В. А. (Минск, Изд-во Минского института технической кибернетики, 1991)