About This Manual 1. Style-Related Rules 2. Feature Usage Rules 3. Metrics-Related Rules 4. SPARK Ada Rules A. List of Rules B. GNU Free Documentation License Index