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


10.6 The notice/alarm model