Автоматизация анализа электронных схем: учебное пособие - Гаврилов Л. П. Леонид Петрович (Москва, 1991)