| 2004 |
| 19 | EE | Yasushi Kambayashi,
Henry F. Ledgard:
The Separation Principle: A Programming Paradigm.
IEEE Software 21(2): 78-87 (2004) |
| 2003 |
| 18 | EE | Donald Anselmo,
Henry F. Ledgard:
Measuring productivity in the software industry.
Commun. ACM 46(11): 121-125 (2003) |
| 2001 |
| 17 | | Henry F. Ledgard:
The emperor with no clothes.
Commun. ACM 44(10): 126-128 (2001) |
| 1986 |
| 16 | | Henry F. Ledgard:
Special Section on The Human Aspects of Computing: A Note on This Collection.
Commun. ACM 29(7): 593 (1986) |
| 1982 |
| 15 | | Henry F. Ledgard,
Andrew Singer:
Scaling Down Ada (Or Towards A Standard Ada Subset).
Commun. ACM 25(2): 121-125 (1982) |
| 1981 |
| 14 | | Henry F. Ledgard,
Andrew Singer,
John A. Whiteside:
Directions in Human Factors for Interactive Systems
Springer 1981 |
| 13 | | Andrew Singer,
Henry F. Ledgard,
Jon F. Hueras:
The Annotated Assistant: A Step Towards Human Engineering.
IEEE Trans. Software Eng. 7(4): 353-374 (1981) |
| 1980 |
| 12 | | Henry F. Ledgard,
John A. Whiteside,
Andrew Singer,
William Seymour:
The Natural Language of Interactive Systems.
Commun. ACM 23(10): 556-563 (1980) |
| 1977 |
| 11 | | Michael Marcotty,
Henry F. Ledgard:
Surveyor's Forum: A Criticism of Sampler.
ACM Comput. Surv. 9(2): 167-168 (1977) |
| 10 | | Michael Marcotty,
Henry F. Ledgard,
Gregor von Bochmann:
Corrigendum: ``A Sampler of Formal Definitions''.
ACM Comput. Surv. 9(2): 168 (1977) |
| 9 | | Henry F. Ledgard,
Robert W. Taylor:
Two Views of Data Abstraction - Introduction to the Special Section.
Commun. ACM 20(6): 382-384 (1977) |
| 8 | | Henry F. Ledgard:
Production Systems: A Notation for Defining Syntax and Translation.
IEEE Trans. Software Eng. 3(2): 105-124 (1977) |
| 1976 |
| 7 | | Frederic Richard,
Henry F. Ledgard:
A reminder for language designers.
Design and Implementation of Programming Languages 1976: 345-389 |
| 6 | | Michael Marcotty,
Henry F. Ledgard,
Gregor von Bochmann:
A Sampler of Formal Definitions.
ACM Comput. Surv. 8(2): 191-276 (1976) |
| 5 | | Henry F. Ledgard,
William C. Cave:
Cobol Under Control.
Commun. ACM 19(11): 601-608 (1976) |
| 1975 |
| 4 | | Henry F. Ledgard,
Michael Marcotty:
A Genealogy of Control Structures.
Commun. ACM 18(11): 629-639 (1975) |
| 1974 |
| 3 | | Henry F. Ledgard:
Production Systems: or Can We Do Better than BNF?
Commun. ACM 17(2): 93-102 (1974) |
| 1972 |
| 2 | | Henry F. Ledgard:
A Model for Type Checking - with an Application to ALGOL 60.
Commun. ACM 15(11): 956-966 (1972) |
| 1971 |
| 1 | | Henry F. Ledgard:
Ten Mini-Languages: A Study of Topical Issues in Programming Languages.
ACM Comput. Surv. 3(3): 115-146 (1971) |