Алгоритмы и структуры данных при анализе нелинейных цепейTiigimäe, M.Автоматизация проектирования в электронике - система SPADE1982 / с. 83-95

Модели линейных системLeppikson, Viktor; Rüstern, EnnuАвтоматизация проектирования в электронике - система SPADE1982 / с. 57-68

Модели электронных схемKurm, Matti; Tiigimäe, M.Автоматизация проектирования в электронике - система SPADE1982 / с. 69-82

Принципы функционирования системы SPADEKukk, VelloАвтоматизация проектирования в электронике - система SPADE1982 / с. 3-17

Сртуктуры данных и входной языкVendelin, JelenaАвтоматизация проектирования в электронике - система SPADE1982 / с. 19-32

Управление вычислительным процессомKukk, Vello; Vendelin, JelenaАвтоматизация проектирования в электронике - система SPADE1982 / с. 33-45

Формирование выходных документовLeppikson, ViktorАвтоматизация проектирования в электронике - система SPADE1982 / с. 47-56