巢状函式的语言，也是第一个注重形式语言定义的语言，并在ALGOL 60报告中引入了巴科斯范式来作为设计语言形式文法的原则。ALGOL主要有三种规格，以初次发表的年份命名：尼克劳斯·维尔特在发展Pascal之前，在ALGOL 60的基础下建立了ALGOL W。ALGOL W本是下一代ALGOL的提议，但ALGOL委员会决定採用更先进复杂的设计，而不是一个简洁化ALGOL 60。
ALGOL 58 (IAL).ALGOL 58没有I/O机制。
ALGOL