Hierarchies Over Recursive Well-Orderings. - Herbert B. Enderton; David C. Luckham (J. Symb. Log., 1964)

On Formalised Computer Programs. - David C. Luckham; David Michael Ritchie Park; Mike Paterson (J. Comput. Syst. Sci., 1970)

Extracting Information from Resolution Proof Trees. - David C. Luckham; Nils J. Nilsson (Artif. Intell., 1971)

Translating recursion schemes into program schemes. - Stephen J. Garland; David C. Luckham (Proving Assertions About Programs, 1972)

On the Equivalence of Schemes - Stephen J. Garland; David C. Luckham (STOC, 1972)

Compatibility and Complexity of Refinements of the Resolution Principle. - Richard B. Kieburtz; David C. Luckham (SIAM J. Comput., 1972)

Program Schemes, Recursion Schemes, and Formal Languages. - Stephen J. Garland; David C. Luckham (J. Comput. Syst. Sci., 1973)

Automatic Program Verification I: A Logical Basis and its Implementation. - Shigeru Igarashi; Ralph L. London; David C. Luckham (Acta Informatica, 1974)

A methodology for verifying programs. - Friedrich W. von Henke; David C. Luckham (Reliable Software, 1975)

Verification of Fairness in an Implementation of Monitors. - Richard Alan Karp; David C. Luckham (ICSE, 1976)

Program Verification and Verification Oriented Programming. - David C. Luckham (IFIP Congress, 1977)

Proof of Termination within a Weak Logic of Programs. - David C. Luckham; Norihisa Suzuki (Acta Informatica, 1977)

A brief account: Implementation and applications of a Pascal program verifier (Position Statement). - David C. Luckham (ACM Annual Conference (2), 1978)

Software validation and verification - a state of the art report(Panel Discussion). - Terry A. Straeter; Carlo Broglio; Marilyn Fujii; Leon G. Stucki; Sabina H. Saib; David C. Luckham (ACM Annual Conference (2), 1978)

A Study in the Application of Theorem Proving. - David C. Luckham; Jorge J. Morales; Joachim F. Schreiber (AISB/GI (ECAI), 1978)

Verification of Array, Record, and Pointer Operations in Pascal. - David C. Luckham; Norihisa Suzuki (ACM Trans. Program. Lang. Syst., 1979)

ANNA: towards a language for annotating Ada programs. - Bernd Krieg-Brückner; David C. Luckham (SIGPLAN, 1980)

A practical method of documenting and verifying Ada programs with packages. - David C. Luckham; Wolfgang Polak (SIGPLAN, 1980)

Ada Exception Handling: An Axiomatic Approach. - David C. Luckham; Wolfgang Polak (ACM Trans. Program. Lang. Syst., 1980)

Program verification at Stanford. - David C. Luckham; Friedrich W. von Henke (ACM SIGSOFT Softw. Eng. Notes, 1981)

Monitoring for deadlocks in Ada tasking. - Steven M. German; David P. Helmbold; David C. Luckham (AdaTEC Conference on Ada, 1982)

Adam: An Ada-based Language for Multiprocessing. - David C. Luckham; Friedrich W. von Henke; H. J. Larsen; Duncan Stevenson (Softw. Pract. Exp., 1984)

TSL: task sequencing language. - David P. Helmbold; David C. Luckham (SIGAda, 1985)

Semantic specification of Ada packages. - Friedrich W. von Henke; David C. Luckham; Bernd Krieg-Brückner; Olaf Owe (SIGAda, 1985)

Debugging Ada Tasking Programs. - David Heimbold; David C. Luckham (IEEE Softw., 1985)

An Overview of Anna, a Specification Language for Ada. - David C. Luckham; Friedrich W. von Henke (IEEE Softw., 1985)

Task Sequencing Languages for Specifying Distributed Ada Systems. - David C. Luckham; David P. Helmbold; Sigurd Meldal; D. L. Bryan; M. A. Haberler (System Development and Ada, 1986)

Concurrent Runtime Checking of Annotated Ada Programs. - David S. Rosenblum; Sriram Sankar; David C. Luckham (FSTTCS, 1986)

ANNA - A Language for Annotating Ada Programs, Reference Manual - David C. Luckham; Friedrich W. von Henke; Bernd Krieg-Brückner; Olaf Owe (Springer, 1987)

Task Sequencing Language for Specifying Distributed Ada Systems. - David C. Luckham; David P. Helmbold; D. L. Bryan; M. A. Haberler (PARLE (2), 1987)

Verification of VHDL Designs Using VAL. - Larry M. Augustin; Benoit A. Gennart; Youm Huh; David C. Luckham; Alec G. Stanculescu (DAC, 1988)

Testing the Correctness of Tasking Supervisors with TSL Specifications. - David S. Rosenblum; David C. Luckham (Symposium on Testing, Analysis, and Verification, 1989)

A new approach to prototyping Ada-based hardware/software systems. - Frank C. Belz; David C. Luckham (TRI-Ada, 1990)

Programming with Specifications - An Introduction to ANNA, A Language for Specifying Ada Programs - David C. Luckham (Springer, 1990)

Hardware design and simulation in VAL/VHDL. - Larry M. Augustin; David C. Luckham; Benoit A. Gennart; Youm Huh; Alec G. Stanculescu (Kluwer, 1991)

The use of anna specification technology in ada software development. - Sriram Sankar; David C. Luckham; Walter Mann (TRI-Ada Tutorial, 1991)

Two-Dimensional Pinpointing: Debugging with Formal Specifications. - David C. Luckham; Sriram Sankar; Shuzo Takahashi (IEEE Softw., 1991)

Validating Discrete Event Simulations Using Event Pattern Mappings. - Benoit A. Gennart; David C. Luckham (DAC, 1992)

Object-Oriented Megaprogramming (Panel). - Peter Wegner; William L. Scherlis; James M. Purtilo; David C. Luckham; Ralph E. Johnson (OOPSLA, 1992)

Partial orderings of event sets and their application to prototyping concurrent, timed systems. - David C. Luckham; James Vera; Doug Bryan; Larry M. Augustin; Frank C. Belz (J. Syst. Softw., 1993)

Polymorphism and Subtyping in Interfaces. - Dinesh Katiyar; David C. Luckham; John C. Mitchell (Workshop on Interface Definition Languages, 1994)

A Type System for Prototyping Languages. - Dinesh Katiyar; David C. Luckham; John C. Mitchell (POPL, 1994)

Specification and Analysis of System Architecture Using Rapide. - David C. Luckham; John J. Kenney; Larry M. Augustin; James Vera; Doug Bryan; Walter Mann (IEEE Trans. Software Eng., 1995)

Correction to "Specification and Analysis of System Architecture Using Rapide". - David C. Luckham; John J. Kenney; Larry M. Augustin; James Vera; Doug Bryan; Walter Mann (IEEE Trans. Software Eng., 1995)

An Event-Based Architecture Definition Language. - David C. Luckham; James Vera (IEEE Trans. Software Eng., 1995)

Rapide: A language and toolset for simulation of distributed systems by partial orderings of events. - David C. Luckham (Partial Order Methods in Verification, 1996)

NSA's MISSI Reference Architecture - Moving from Prose to Precise Specification. - Sigurd Meldal; David C. Luckham (Requirements Targeting Software and Systems Engineering, 1997)

Rapide: A Language and Toolset for Causal Event Modeling of Distributed System Architectures. - David C. Luckham (WWCA, 1998)

Event Mining with Event Processing Networks. - Louis Perrochon; Walter Mann; Stephane Kasriel; David C. Luckham (PAKDD, 1999)

Event-Based Execution Architectures for Dynamic Software Systems. - James Vera; Louis Perrochon; David C. Luckham (WICSA, 1999)

Complex event processing (CEP). - David C. Luckham (ACM SIGSOFT Softw. Eng. Notes, 2000)

The power of events - an introduction to complex event processing in distributed enterprise systems. - David C. Luckham (ACM, 2005)

The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems. - David C. Luckham (RuleML, 2008)