| Specification Structure |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| ä | Introduction |
|||||||||||||
| ä | Introduces
the type name and imported |
|||||||||||||
| specifications |
||||||||||||||
| ä | Informal
description |
|||||||||||||
| ä | Describes
the type operations |
|||||||||||||
| ä | Signature |
|||||||||||||
| ä | Defines
the syntax of the type operations |
|||||||||||||
| ä | Axioms |
|||||||||||||
| ä | Defines
axioms which characterize the |
|||||||||||||
| behaviour
of the type |
||||||||||||||
