以下程序中，属于货币资金实质性程序的是( )

银行存款函证是货币资金实质性程序的组成部分，其他选项属于辅助程序或分析程序。