共 8 条
- [1] Boyer R. S., 1975, SIGPLAN Notices, V10, P234, DOI 10.1145/390016.808445
- [2] BUDD TA, 1978 P NCC
- [3] DEMILLO RA, 4TH P ACM S PRINC PR, P206
- [4] Goodenough J. B., 1975, SIGPLAN Notices, V10, P493, DOI 10.1145/390016.808473
- [5] Hoare C. A. R., 1961, COMMUN ACM, V4, P321, DOI [DOI 10.1145/366622.366644, 10.1145/366622.366647, DOI 10.1145/366622.366647]
- [6] Ramamoorthy C. V., 1976, IEEE Transactions on Software Engineering, VSE-2, P293, DOI 10.1109/TSE.1976.233835
- [7] TUCKER AE, 1965, TM221900000 SYST DEV
- [8] YOUNGS EA, 1971, THESIS U N CAROLINA