The PKG file format is described in modified BNF notation and must include the following definitions: