That's interesting, thanks. Some of the things you listed (dangling else, variant records, Wirth has fixed in Modula-2 or Oberon). Algol 68 seems to have perfected the procedural paradigm.