为证实所有销售业务均已记录，注册会计师应当选择最有效的具体审计程序是（　　）。
·抽查发运凭证追查至账簿记录　
·抽查销售明细账追查至销售发票
·抽查应收账款明细账追查至销售合同
·抽查银行对账单