I would recommend everyone to learn Oberon just to see how concisely defined an imperative, structured, procedural and modular language with support for object oriented programming (extended types) can be. The language reference is only around 16 pages long including examples and formal grammar.