以下审计程序中，属于货币资金的实质性程序的有（）。

A.检查非记账本位币库存现金的折算汇率及折算金额是否正确

B.函证银行存款余额

C.选取资产负债表日前后若干张、一定金额以上的凭证实施截止测试

D.对已质押的定期存款，检查定期存单复印件，并与相应的质押合同核对