Describir: Система логического синтеза устройств управления на базе программируемых контроллеров: материалы по математическому обеспечению ЭВМ