共 8 条
[2]
LAMPORT L, 1971, AD742279 REP
[3]
LAMPORT L, 1973, P SAGAMORE COMPUT C
[4]
MCINTYRE DE, 1970, DATAMATION, V16, P60
[5]
Mordell L. J., 1969, PURE APPL MATH, V30
[6]
MUROAKA Y, 1971, THESIS U ILLINOIS
[7]
RAMAMOORTHY CV, 1969, P AFIPS FJCC, V35, P1