共 4 条
[1]
Dijkstra E. W., 1961, ANN REV AUTOMATIC PR, VIII
[2]
Gawlik H. J., 1963, COMM ACM, V6
[3]
MCCARTHY J, 1961, WESTERN JOINT COMPUT
[4]
Wells M. B., 1961, COMM ACM, V4