Text this: Математические вопросы автоматизации проектирования и испытания: научно-технический сборник