Specification based on Backus-Naur Formalism and Programming Language. - Guoyong; Peimin Deng; Jiali Feng (APLAS, 2002)