ZEITGEIST: Database Support for Object-Oriented Programming. - Steve Ford; John Joseph; David E. Langworthy; David F. Lively; Girish Pathak; Edward R. Perez; Robert W. Peterson; Diana M. Sparacin; Satish M. Thatte; David L. Wells; Sanjive Agarwala (OODBS, 1988)

Evaluating correctness criteria for transactions. - David E. Langworthy (OOPSLA/ECOOP Workshop on Object-based Concurrent Programming, 1988)

Storage Class Extensibility in the Brown Object Storage System. - David E. Langworthy; Stanley B. Zdonik (POS, 1994)

Extensibility and Asynchrony in the Brown-Object Storage System. - David E. Langworthy; Stanley B. Zdonik (Performance of Concurrency Control Mechanisms in Centralized Database Systems, 1996)

Formal Specification of a Web Services Protocol. - James E. Johnson; David E. Langworthy; Leslie Lamport; Friedrich H. Vogt (WSFM, 2004)

Semantic subtyping with an SMT solver. - Gavin M. Bierman; Andrew D. Gordon 001; Catalin Hritcu; David E. Langworthy (J. Funct. Program., 2012)