共 30 条
[2]
BOOTHROYD J, 1967, COMPUT J, V10, P308
[4]
Cocke John, 1970, PROGRAMMING LANGUAGE
[7]
HILLMORE JS, 1962, COMMUN ACM, V5, P439, DOI 10.1145/368637.368709
[8]
Hoare C. A. R., 1961, COMMUN ACM, V4, P321, DOI [DOI 10.1145/366622.366644, 10.1145/366622.366647, DOI 10.1145/366622.366647]
[10]
Knuth D. E., 1974, Computing Surveys, V6, P261, DOI 10.1145/356635.356640