法语言Algol 60报告"，确定了程序设计语言Algol 60。Algol60语言的第一个编译器由艾兹赫尔·戴克斯特拉来实现。1962年，艾伦。佩利又对Algol 60进行了修正。Algol 60引进了许多新的概念如：局部性概念、动态、递归、巴科斯-诺尔范式BNF（Backus-Naur Form）等等。Algol 60是程序设计语言发展史上的一个里程碑，它标志着程序设计语言成为一门独立的科学学科，并为后来软件自动化及软件可靠性的发展奠定了基础。
ALGOL 68.ALG