共 24 条
[1]
Ben-Ari M., 1982, PRINCIPLES CONCURREN
[2]
CARGILL TA, 1982, SOFTWARE PRACTICE EX, V10
[3]
CHANG JM, UNPUB RELIABLE BROAD
[4]
DETREVILLE JD, 1982, PROGRAM TRANSFORMATI
[5]
Dijkstra E., 1971, ACTA INFORM, V1, P115, DOI DOI 10.1007/BF00289519
[6]
Dijkstra E. W., 1976, DISCIPLINE PROGRAMMI
[7]
DOLOTTA TA, 1980, UNIX USERS MANUAL
[9]
GEHANI N, 1983, ADA ADV INTRO
[10]
GELERNTER D, 1982, AUG P ACM SIGACT SIG