Name: objectz
Problems-t: spqr@ftp.tex.ac.uk
Author: Paul King <king@batserver.cs.uq.oz.au>, edited by Sebastian Rahtz 
  <spqr@ftp.tex.ac.uk>
Version: 2
Description: Macros for typesetting the Object-Z extensions to the Z language,
  used for writing formal specifications
Keywords: Z,zed,formal specification
 