« 2.2 Invariants: Bit sheets | Main | 5.0 Subsystem Interfaces »

June 05, 2004