Specifications and other documents for the Gamma Programming Language.