�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��� �