共 22 条
[1]
AHO AV, 1984, 11TH P ACM S PRINC P, P334
[2]
BERKMAN O, 1989, 21ST P ANN ACM S THE, P309
[4]
COLE R, 1988, LECT NOTES COMPUT SC, V319, P91
[5]
COLE R, 1986, 18TH P ANN ACM S THE, P206
[6]
COLLINS GE, 1971, 2ND P S SYMB ALG MAN, P144
[7]
DWORK C, 1986, 8TH C AUT DED
[8]
GALIL Z, 1985, OPTIMAL PARALLEL ALG, V67, P144
[9]
ABSTRACT DATA TYPES AND SOFTWARE VALIDATION
[J].
COMMUNICATIONS OF THE ACM,
1978, 21 (12)
:1048-1064