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