Анализ дискретных устройств автоматики (Материалы семинара по кибернетике, 1972)