Stav dette: Инструментальная система логического проектирования. Материалы по математическому обеспечению ЭВМ.