This category holds links to books on the Z formal specification language.