共 24 条
[21]
VANWIJNGAARDEN A, 1973, REVISED REPORT ALGOR
[22]
WILNER WT, 1971, STANCS23371 STANF U
[23]
WILNER WT, 1972, FORMAL SEMANTICS PRO
[24]
WIRTH N, 1971, SOFTWARE PRACTICE EX, V1, P309