共 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