An extension of BNF used by the SIS compiler generator.

["SIS - Semantics Implementation System", P.D. Mosses, TR DAIMI MD-30, Aarhus U, Denmark].