Труды института Проблемы автоматизированного проектирования и автоматизация эксперимента (Microsoft Press, 1983)