A formal system for the specification of the syntax and translation of computer languages. - John J. Donovan; Henry F. Ledgard (AFIPS Fall Joint Computing Conference, 1967)

Ten mini-languages in need of formal definition. - Henry F. Ledgard (ACM SIGPLAN Notices, 1970)

Ten Mini-Languages: A Study of Topical Issues in Programming Languages. - Henry F. Ledgard (ACM Comput. Surv., 1971)

A Model for Type Checking - with an Application to ALGOL 60. - Henry F. Ledgard (Commun. ACM, 1972)

Production Systems: or Can We Do Better than BNF? - Henry F. Ledgard (Commun. ACM, 1974)

On a proposed measure of program structure. - Amos N. Gileadi; Henry F. Ledgard (ACM SIGPLAN Notices, 1974)

A Genealogy of Control Structures. - Henry F. Ledgard; Michael Marcotty (Commun. ACM, 1975)

Cobol Under Control. - Henry F. Ledgard; William C. Cave (Commun. ACM, 1976)

A Sampler of Formal Definitions. - Michael Marcotty; Henry F. Ledgard; Gregor von Bochmann (ACM Comput. Surv., 1976)

Two Views of Data Abstraction - Introduction to the Special Section. - Henry F. Ledgard; Robert W. Taylor (Commun. ACM, 1977)

Surveyor's Forum: A Criticism of Sampler. - Michael Marcotty; Henry F. Ledgard (ACM Comput. Surv., 1977)

Corrigendum: "A Sampler of Formal Definitions". - Michael Marcotty; Henry F. Ledgard; Gregor von Bochmann (ACM Comput. Surv., 1977)

An automatic formatting program for PASCAL. - Jon F. Hueras; Henry F. Ledgard (ACM SIGPLAN Notices, 1977)

A basis for executing PASCAL programmers. - Henry F. Ledgard; Andrew Singer; Jon F. Hueras (ACM SIGPLAN Notices, 1977)

A reminder for language designers. - Frederic Richard; Henry F. Ledgard (ACM SIGPLAN Notices, 1977)

Production Systems: A Notation for Defining Syntax and Translation. - Henry F. Ledgard (IEEE Trans. Software Eng., 1977)

The Natural Language of Interactive Systems. - Henry F. Ledgard; John A. Whiteside; Andrew Singer; William Seymour (Commun. ACM, 1980)

A human engineered variant of BNF. - Henry F. Ledgard (ACM SIGPLAN Notices, 1980)

Directions in Human Factors for Interactive Systems - Henry F. Ledgard; Andrew Singer; John A. Whiteside (Springer, 1981)

The Annotated Assistant: A Step Towards Human Engineering. - Andrew Singer; Henry F. Ledgard; Jon F. Hueras (IEEE Trans. Software Eng., 1981)

Scaling Down Ada (Or Towards A Standard Ada Subset). - Henry F. Ledgard; Andrew Singer (Commun. ACM, 1982)

Special Section on The Human Aspects of Computing: A Note on This Collection. - Henry F. Ledgard (Commun. ACM, 1986)

World of programming languages. - Michael Marcotty; Henry F. Ledgard (Springer, 1987)

The emperor with no clothes. - Henry F. Ledgard (Commun. ACM, 2001)

Measuring productivity in the software industry. - Donald Anselmo; Henry F. Ledgard (Commun. ACM, 2003)

The Separation Principle: A Programming Paradigm. - Yasushi Kambayashi; Henry F. Ledgard (IEEE Softw., 2004)

Coding Guidelines: Finding the Art in the Science. - Robert Green 001; Henry F. Ledgard (ACM Queue, 2011)

A New Approach to Parallel Processing. - William C. Cave; Robert E. Wassmer; Henry F. Ledgard; Alan B. Salisbury; Kenneth T. Irvine; Michael A. Mulshine (IEEE Access, 2020)