结构化程序之所以有可能验证其正确性是由于（）。

结构化程序之所以有可能验证其正确性是由于（）。
A.只有三种基本结构
B.有限制地使用GOTO语句
C.程序内部有“内部文档”
D.选择良好数据结构和算法
正确答案：A