Formal specification of software systems using Two-Level GrammarBarrett R. BryantAiqin Pan1991COMPSAC 1991