Ying-Han shuangjie jisuanji cidian (Qinghua Daxue Chubanshe, 1999)