共 3 条
[1]
BACKUS JW, 1959, JUN ACMGAMM C ICIP
[2]
Davis M., 1958, COMPUTABILITY UNSOLV
[3]
NAUR P, 1960, ALGOL60 COMM ACM REP, V3, P5