销售与收款循环的控制测试中，以下哪些程序可能用于验证职责分离？

验证职责分离可通过观察流程（A）、检查单据分离（B）及询问制度（C）。选项D属于应收账款的实质性分析程序，而非控制测试程序。