modern-algol

Modernized Algol is an imperative, block-structured programming language based on Algol. A full description of the language is given in "Practical Foundations for Programming Languages" by Ropert Harper.