共 81 条
- [41] AN AXIOMATIC BASIS FOR COMPUTER PROGRAMMING [J]. COMMUNICATIONS OF THE ACM, 1969, 12 (10) : 576 - &
- [43] HWANG SSV, 1981, 362 U MAR DEP COMP S
- [44] JELINSKI Z, 1973, P IEEE S COMPUTER SO, P78
- [45] LINGER RC, 1979, STRUCTURED PROGRAMMI
- [46] LITTLEWOOD B, 1973, APPLIED STATISTICS, V22
- [47] LITTLEWOOD B, 1981, IEEE T REL, V30
- [48] McCabe T. J., 1976, IEEE Transactions on Software Engineering, VSE-2, P308, DOI 10.1109/TSE.1976.233837
- [49] MCCALL JA, 1977, RADCTR77369 ROM AIR
- [50] PROGRAM INDENTATION AND COMPREHENSIBILITY [J]. COMMUNICATIONS OF THE ACM, 1983, 26 (11) : 861 - 867