A runtime representation for Ada variables and types. - Andy Hisgen; David Alex Lamb; Jonathan Rosenberg; Mark Sherman 001 (SIGPLAN, 1980)

The Charrette Ada compiler. - Jonathan Rosenberg; David Alex Lamb; Andy Hisgen; Mark Sherman 001 (SIGPLAN, 1980)

An Ada code generator for VAX 11/780 with Unix. - Mark Sherman 001; Andy Hisgen; David Alex Lamb; Jonathan Rosenberg (SIGPLAN, 1980)

Construction of a Peephole Optimizer. - David Alex Lamb (Softw. Pract. Exp., 1981)

Spelling Correction in User Interfaces. - Ivor Durham; David Alex Lamb; James B. Saxe (Commun. ACM, 1983)

Simulation of Procedure Variables Using Ada Tasks. - David Alex Lamb; Paul N. Hilfinger (IEEE Trans. Software Eng., 1983)

DRAT: A program for maintaining listings. - David Alex Lamb; Ivor Durham; Joseph M. Newcomer (J. Syst. Softw., 1987)

Implementation Strategies for DIANA Attributes. - David Alex Lamb (ACM SIGPLAN Notices, 1987)

IDL: Sharing Intermediate Representations. - David Alex Lamb (ACM Trans. Program. Lang. Syst., 1987)

Software engineering - planning for change. - David Alex Lamb (Prentice Hall, 1988)

Reducing Student Workload in a Software Engineering Poject Course. - David Alex Lamb (CSEE, 1988)

Benign Side Effects. - David Alex Lamb (Inf. Process. Lett., 1988)

Testing for Class Membership in Multi-Parent Hierarchies. - David Alex Lamb; Robin W. Dawes (Inf. Process. Lett., 1988)

Questions in Planning Undergraduate Software Engineering. - David Alex Lamb (CSEE, 1989)

An annotated bibliography on user interface design. - P. Fraser; David Alex Lamb (ACM SIGCHI Bull., 1989)

Specification of Iterators. - David Alex Lamb (IEEE Trans. Software Eng., 1990)

Formalization of information hiding design methods. - David Alex Lamb; Kevin A. Schneider (CASCON, 1992)

The Property Vector Specification of a Multiset Iterator. - Trevor W. Pearce; David Alex Lamb (ICSE, 1992)

Studies of Software Design. - David Alex Lamb (ICSE Workshop on Studies of Software Design, 1993)

Separation of Concerns for Indexing. - David Alex Lamb; Margaret Anne Lamb (Electron. Publ., 1993)

A theory model core for module interconnection languages. - Thomas R. Dean; David Alex Lamb (CASCON, 1994)

Communicating Abstract Data Type Values in Heterogeneous Distributed Programs. - Lin Huang; David Alex Lamb (ICDCS, 1994)

Design and Specification of Iterators Using the Swapping Paradigm. - Bruce W. Weide; Stephen H. Edwards; Douglas E. Harms; David Alex Lamb (IEEE Trans. Software Eng., 1994)

Metrics Applicable to Software Design. - Xiaobao Yu; David Alex Lamb (Ann. Softw. Eng., 1995)

Behavioral Views for Software Requirements Engineering. - Ayaz Isazadeh; David Alex Lamb; Glenn H. MacEwen (ECBS, 1996)

An Algorithmic Semantics for Viewcharts. - Ayaz Isazadeh; David Alex Lamb (ICECCS, 1996)

Behavioural Views for Software Requirements Engineering. - Ayaz Isazadeh; David Alex Lamb; Terry Shepard (Requir. Eng., 1999)