1. 9Language Translation
   1. 9.1Inductive Specification
   2. 9.2Language Syntax Specification
      1. 9.2.1Example
   3. 9.3Bacus-Naur Form and Syntactic Derivations
      1. 9.3.1Example
      2. 9.3.2Example
   4. 9.4Lambda Calculus Language
      1. 9.4.1Predicate exp?
      2. 9.4.2Examples:
   5. 9.5Semantics
      1. 9.5.1Example
      2. 9.5.2Example
      3. 9.5.3Example
      4. 9.5.4Example
      5. 9.5.5Example
      6. 9.5.6Example
      7. 9.5.7Examples
      8. 9.5.8Predicate free?
      9. 9.5.9Examples
      10. 9.5.10Predicate bound?
      11. 9.5.11Examples