Table of Contents:
  • v. 1. Equations and initial semantics
  • v. 2. Module specifications and constraints.