Система логического синтеза устройств управления на базе программируемых контроллеров: материалы по математическому обеспечению ЭВМ - Закревский А. Д. (Минск, 1988)