A FORMAL NOTATION FOR SPECIFYING STATIC SEMANTIC RULESWILLIAMS MH.1980; COMPUTER LANGUAGES; GBR; DA. 1980; VOL. 5; NO 1; PP. 37-55; BIBL. 8 REF.Article

WHAT CAN WE DO ABOUT THE UNECESSARY DIVERSITY OF NOTATIONS FOR SYNTACTIC DEFINITIONS.WIRTH N.1977; COMMUNIC. A.C.M.; U.S.A.; DA. 1977; VOL. 20; NO 11; PP. 822-823Article

A DEFINITION LANGUAGE AND ITS TRANSLATION FOR DEVELOPMENT OF SYSTEM SOFTWARE.LOONEY MJ.1976; IN: WORKSHOP REAL-TIME PROGRAM. PROC.; BOSTON, CAMBRIDGE, MASS.; 1975; PITTSBURGH, PA.; INSTRUM. SOC. AMERICA; DA. 1976; PP. 67-93 (9P.); BIBL. 3 REF.Conference Paper

A BNF SYNTAX FOR THE QUERY LANGUAGE FORAL WITH A DISCUSSION OF POSSIBLE MODIFICATIONSFIDRICH I.1978; COMPUT. LINGUIST.; HUN; DA. 1978; NO 12; PP. 105-151; BIBL. 6 REF.Article