为证实所有销售业务均已记录，注册会计师应选择的最有效的具体审计程序是( )。