|   | Section 6.9: | 
This section contains auxiliary vdm-sl describing the state, environment and miscellaneous auxiliary functions and operations relating to them and the vdm-sl model on which this specification is based.
|   | Specification Index |   | Language Index |   | Section 6 Index | 
| Comments
        or enquiries should be made to Keith Hopper. Page last modified: Tuesday, 23 May 2000. |   |