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 exprp
      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