Henry F. Ledgard

Yasushi Kambayashi, Henry F. Ledgard: The Separation Principle: A Programming Paradigm. IEEE Software 21(2): 78-87 (2004)

Donald Anselmo, Henry F. Ledgard: Measuring productivity in the software industry. Commun. ACM 46(11): 121-125 (2003)

Henry F. Ledgard: The emperor with no clothes. Commun. ACM 44(10): 126-128 (2001)

Michael Marcotty, Henry F. Ledgard: World of programming languages. Springer books on professional computing, Springer 1987, isbn 978-0-387-96440-9, pp. I-XIV, 1-360

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

Henry F. Ledgard, Andrew Singer: Scaling Down Ada (Or Towards A Standard Ada Subset). Commun. ACM 25(2): 121-125 (1982)

Henry F. Ledgard, Andrew Singer, John A. Whiteside: Directions in Human Factors for Interactive Systems. Lecture Notes in Computer Science 103, Springer 1981, isbn 3-540-10574-3

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)

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

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

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

Michael Marcotty, Henry F. Ledgard, Gregor von Bochmann: Corrigendum: ``A Sampler of Formal Definitions''. ACM Comput. Surv. 9(2): 168 (1977)

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

Henry F. Ledgard, William C. Cave: Cobol Under Control. Commun. ACM 19(11): 601-608 (1976)

Michael Marcotty, Henry F. Ledgard, Gregor von Bochmann: A Sampler of Formal Definitions. ACM Comput. Surv. 8(2): 191-276 (1976)

Frederic Richard, Henry F. Ledgard: A reminder for language designers. Design and Implementation of Programming Languages 1976: 345-389

Henry F. Ledgard, Michael Marcotty: A Genealogy of Control Structures. Commun. ACM 18(11): 629-639 (1975)

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

Henry F. Ledgard: A Model for Type Checking - with an Application to ALGOL 60. Commun. ACM 15(11): 956-966 (1972)

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

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