@article{tang:sciencechina:14,
  title={程序数值误差的扰动检测与优化},
  author={汤恩义 and BARR, Earl T. and 苏振东 and 李宣东},
  journal={中国科学：信息科学},
  volume={44},
  number={10},
  year={2014}
}