关于要约程序，下列说法正确的有（）。

A、要约到达受要约人时生效
B、采用数据电文形式订立合同，收件人指定特定系统接收数据电文的，该数据电文进入该特定系统的时间，视为到达时间
C、采用数据电文形式订立合同，未指定特定系统的，该数据电文进入收件人的任何系统的首次时间，视为到达时间
D、要约生效之后不可以撤销