Typesetting Z Specifications with Family Constructs

A LaTeX style file for typesetting Z specifications with family constructs. This style file supports the extensions to the formal specification technique Z which I propose in my Habilitation thesis. The additional constructs allow to specify an entire family of requirements together, and to configure individual family members as required, using lists of "features".

This style file is an extension of ltcadiz.sty for Z specifications. ltcadiz.sty comes with the CADiZ toolset for Z. It is based, in turn, on oz.sty for Object-Z.

There is also the tool genFamMem for configuring families of requirements, but it supports different constructs.

You can download the style file here. It is free of charge, provided that you share some of your experiences with me.