共 6 条
[2]
HILL ID, 1980, COMPUT J, V23, P94
[4]
Jones C. B, 1980, SOFTWARE DEV RIGOROU
[5]
MISSALA M, 1982, COMPUT J, V25, P286
[6]
ROBINSON GL, 1980, COMPUT J, V23, P288