Provides classes for parsing and printing Circus specifications (written in Circus extension of the Z specification language).