Example Z specifications
The following example Z specifications have been contributed by users.
Please consider whether you have something suitable to add to this list.