Object-oriented approaches to the software life cycle using the Smalltalk-80 system as a CASE toolkit. - Stephen Travis Pope; A. Goldberg; L. Peter Deutsch (FJCC, 1987)

Formal Construction of the Mathematically Analyzed Separation Kernel. - W. Martin; P. White; F. S. Taylor; A. Goldberg (ASE, 2000)

A methodological framework for the validation of predictive simulations. - D. Fraedrich; A. Goldberg (Eur. J. Oper. Res., 2000)