Ada

• select is like the alternative command.
• when specifies the conditions (guard).
• To get the semantics of a repetitive command, put the select inside a loop.