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

A、程序是指为进行某项活动或过程所规定的途径。

B、程序必须形成文件。

C、程序可以形成文件，也可以不形成文件。