« 3.0 Design by Contract (DbC) | Main | 1.0 What is a State Machine »

July 23, 2004