Автоматизация разработки и моделирование вычислительных и микропроцессорных систем: материалы семинара - Витенберг И. М. (Москва, Изд-во МДНТП, 1983)