共 18 条
[1]
CLARKE EM, 1976, 76287 CORN U COMPTR
[2]
CLARKE EM, 1976, CS197615 DUK U COMPT
[3]
Clint M., 1973, Acta Informatica, V2, P50, DOI 10.1007/BF00571463
[4]
COOK SA, 1975, 79 U TOR COMPTR SCI
[5]
DEBAKKER JW, 1973, COMPLETENESS INDUCTI
[6]
DONAHUE J, 3 APPROACHES RELIABL
[7]
DONAHUE J, 1974, CSRG45 U TOR COMPTR
[8]
GORELICK GA, 1975, 75 U TOR COMPTR SCI
[9]
Hoare C. A. R., 1974, Acta Informatica, V3, P135, DOI 10.1007/BF00264034
[10]
HOARE C A R, 1969, COMMUN ACM, V12, P322