Автоматизация синтеза микропроцессорных управляющих систем - Миков А.И (Иркутск. ун-та, 1987)