�1���� Scope
�2���� References
�3���� Abbreviations
�4���� Introduction
�5���� Conventions
������� 5.1���� Syntactic metanotation
������� 5.2���� Specification text
������� 5.3���� Proformas
������� 5.4���� Core language
������� 5.5���� General mapping rules
�6���� Proformas
������� 6.1���� Test Suite Control
������� 6.2���� Test Suite Parameters
������� 6.3���� Module Imports
������� 6.4���� Simple Types
������� 6.5���� Structured Types
������� 6.6���� SequenceOf Types
������� 6.7���� Enumerated Type
������� 6.8���� Port Types
������� 6.9���� Component Types
������ 6.10���� Constants
������ 6.11���� Signature
������ 6.12���� Simple Templates
������ 6.13���� Structured Template
������ 6.14���� Function
������ 6.15���� Altstep
������ 6.16���� Testcase
�7���� BNF productions