共 54 条
[11]
BROCK JD, 1978, TR120 MIT LAB COMP S
[12]
COMTE D, 1978, SIGPLAN NOTICES ACM, V13, P25
[13]
CORNISH M, 1979, MAR P LOUIS COMP EXP, P189
[14]
CROWLEY WP, 1978, UCID17715 LAWR LIV N
[15]
DAVIS A, 1979, FEB P WORKSH DAT DRI
[16]
DAVIS A, 1978, COMPUTER ARCHITECTUR, V6, P210
[17]
De Boor C, 1971, MATH SOFTWARE, P201
[18]
DENNIS JB, 1980, COMPUTER, V13, P48, DOI 10.1109/MC.1980.1653418
[19]
DENNIS JB, 1977, COMPUTATION STRUCTUR, V134
[20]
GEHANI NH, 1980, DENOTATIONAL SEMANTI