Next: , Previous: notion of redefinition/refinement, Up: Missing Documentation



10.6 The notice/alarm model