1. Vyssotsky V. A., 在Chapel Hill, N. C1972年举办的计算机程序测试方法讨论会“Common sense in designing testable software”. Vyssitsky的大多数演讲收录在Hetzel, W. C. (ed.), Program Test Methods. Englewood Cliffs, N. J.: Prentice-Hall, 1972. pp. 41-47.
2. Wirth, N., “Program development by stepwise refinement,” CACM 14, 4(April, 1971) pp. 221-227. 参见Mills, H., “Top-down programming in large systems,” in R. Rustin (ed.). Debugging Techniques in Large Systems. Englewood Cliffs, N. J.: Prentice-Hall, 1971, pp. 41-55; and Baker F. T., “System quality through structured programming,” AFIPS Proc FJCC. 41-I(1972), pp. 339-343.
3. Dahl O. J., E. W. Dijkstra, and C. A. R. Hoare, Structured programming. London and New York: Academic Press, 1972. 该专栏包括了最完整的讨论处理. 参见Dijkstra的书信“GOTO statement considered harmful,” CACM., 11,3(March, 1968), pp. 147-148.
4. Bohm C.,and A. Jacopini, “Flow diagrams, Turing machines, and languages with only two formation rules,” CACM., 9, 5(May, 1966), pp. 366-371.
5. Codd E. F., E. S. Lowry, E. McDonough, and C. A. Scalzi, “Multiprogramming STRETCH: Feasibility considerations,” CACM., 2, 11(Nov., 1959), pp. 13-17.
6. Strachey, C., “Time sharing in large fast computers,” Proc. Int. Conf. on Info. Processing. UNESCO (June, 1959), pp. 336-341. 参见Codd在p.341上的评论, 他汇报了类似于Strachey论文中所建议工作的进展.
7. Corbato F. J., M. Merwin-Daggett, and R. C. Daley “An experimental time-sharing system,” AFIPS Proc SJCC., 2, (1962), pp. 335-344. 重印于S. Rosen, Programming Systems and Languages. New York: McGraw-Hill, 1967, pp. 683- 698.
8. Gold, M. M., “A methodology for evaluating time-shared computer system usage,” Ph. D. dissertation. Carngie-Mellon University, 1967, p. 100.
9. Gruenberger, F., “Program testing and validating,” Datamation., 14,7 (July, 1968), pp. 39-47.
10. Ralston, A., Introduction to Programming and Computer Science. New York: McGraw-Hill, 1971. pp. 237-244.
11. Brooks F. P., and K. E. Iverson, Automatic Data Processing, System/360 Edition. New York: Wiley, 1969, pp. 296-299.
12. 一种良好的规格说明开发和系统构建及测试处理方法由F. M. Trapnell提出, “A systematic approach to the development of system programs,” AFIPS Proc SJCC, 34, (1969), pp. 41-48.
13. 实时系统需要环境仿真器. 例子参见M. G. Ginzberg, “Notes on testing real-time system programs,” IBM Sys. J., 4, 1(1965), pp. 58-72.
14. Lehman, M., and L. Belady, “Programming systems dynamics,” 提出于ACM SIGOPS Third Symposium on Operating Systems Priciples, October, 1971.
