[多选] 依据根据GB/T19000-2000相关规定，判断下述有关程序的说法哪些是正确的（）？

A . A.程序是指为进行某项活动或过程所规定的途径。
B . B.程序必须形成文件。
C . C.程序可以形成文件，也可以不形成文件。