Boolean (based on the example from this paper)
Integer (based on the example from this paper)
Schema for Enumeration Type Definitions (based on the example from this paper)
Unbounded Integer Stack1 (based on the example from this paper)
Unbounded Integer Stack2 (based on the example from this paper)
Extended Stack (based on the example from this paper)
Bounded Integer Stack (based on the example from this paper)
Unbounded Integer Queue (based on the example from this paper)
Table List (based on the example from this paper)
Binary Integer Tree (based on the example from this paper)
Path (based on the example from this paper)
Birthday (based on Spivey's Z specification)
Name Register (based on the example from this paper)
Unbounded Unique Integer Producer (based on the example from this paper)
Status (based on the example from this paper)