共 16 条
[1]
Burns J. E., 1981, 22nd Annual Symposium on Foundations of Computer Science, P169, DOI 10.1109/SFCS.1981.42
[3]
Dijkstra E. W., 1968, Programming languages, P43
[6]
HART S, 1982, 9TH C REC ANN ACM S, P1
[9]
LEHMANN D, 1981, 8TH ANN ACM S PRINC, P133
[10]
LYNCH NA, 1980, 12TH P ANN ACM S THE, P70