共 19 条
[1]
ABEL NE, 1969, AFIPS C P SJCC, V34, P57
[2]
ACKERMAN WB, 1982, COMPUTER, V15, P15, DOI 10.1109/MC.1982.1653938
[3]
ACKERMAN WB, 1979, TR218 MIT LAB COMP S
[4]
ARVIND, 1978, TR114A U CAL DEP INF
[5]
ARVIND, 1977, AUG P IFIP C 77, P849
[6]
ARVIND, 1977, FORMAL DESCRIPTION P
[7]
ARVIND, 1981, 8TH P ANN S COMP ARC, P291
[9]
CATTO AJ, 1981, OCT P ACM C FUNCT PR, P77
[10]
DAVIS AL, 1982, COMPUTER, V15, P26, DOI 10.1109/MC.1982.1653939