Meta-rules: Reasoning about control

Open in new window