共 30 条
[1]
ABRAMOWITZ M, 1970, HDB MATHEMATICAL FUN
[2]
AHO AV, 1974, DESIGN ANALYSIS COMP
[4]
BOOTHROYD J, COMPUTER J, V10, P308
[6]
Cocke John, 1970, PROGRAMMING LANGUAGE
[9]
HILLMORE JS, 1962, COMMUN ACM, V5, P439, DOI 10.1145/368637.368709
[10]
Hoare C. A. R., 1961, COMMUN ACM, V4, P321, DOI [DOI 10.1145/366622.366644, 10.1145/366622.366647, DOI 10.1145/366622.366647]