- Алгоритмы и структуры данных при анализе нелинейных цепей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