1.Previous
3.Next

of ALGOL W's semantics is defined grammatically:
* Identifiers are distinguished by their definition within the current scope. For example, a is an identifier that has been defined by a procedure declaration, a is an identifier that is being used as a goto label.
* The types of variables

1.Previous
3.Next