Specification languages for mechanical languages and their processors a baker's dozen: a set of examples presented to ASA x3.4 subcommittee

Translator writing systems

Communications of the ACM

backus normal form vs. Backus Naur form

Communications of the ACM

Flow diagrams, turing machines and languages with only two formation rules

Communications of the ACM

Real-time simulation of mapping radar

Communications of the ACM

Theory of mechanical languages

Communications of the ACM

Some remarks on the syntax of symbolic programming languages

Communications of the ACM

Mechanical pragmatics: a time-motion study of a miniature mechanical linguistic system: a set of examples presented to ASA X3-4 subcommittee

Communications of the ACM

The evaluation, classification and interpretation of expressions

ACM '64 Proceedings of the 1964 19th ACM national conference

Inscan: A syntax-directed language processor

ACM '68 Proceedings of the 1968 23rd ACM national conference

The Early Search for Tractable Ways of Reasoning about Programs

IEEE Annals of the History of Computing

The relevance of some compiler construction techniques to the description and translation of languages

COLING '67 Proceedings of the 1967 conference on Computational linguistics

Flow diagrams, Turing machines and languages with only two formation rules

Classics in software engineering

Universal programming languages and processors: a brief survey and new concepts

AFIPS '65 (Fall, part I) Proceedings of the November 30--December 1, 1965, fall joint computer conference, part I