Report an issue
4.2.4 Constructing Pseudocode Key Definitions