Computer
programming language with a very orthogonal syntax and semantics; possibly the first imperative language
to be given a full formal specification of syntax and semantics.
Designed to be an improved successor to Algol 60, but its success was hampered by a rebellion in the ranks that led to the more down-to-earth Pascal language.