About CZT Object Z Parser

Provides classes for parsing and printing Object Z specifications.