审计人员对被审计单位银行存款实施实质性程序时，可采用的审计程序有：

A. 函证银行存款余额
B. 抽查银行存款付款凭证
C. 检查银行对账单和银行存款余额调节表
D. 检查不相容职务是否分离
E. 检查资产负债表日前数天发生的银行存款收付业务是否及时入账