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



10.6 The logging model