Spezifikation

In diesem Abschnitt wird die Spezifikation von Datentypen beschrieben.

Spezifikation 1: