Formalizing Objects for Databases using ADABTPL. - David W. Stemple; Adolfo Socorro; Tim Sheard (OODBS, 1988)

Exceeding the Limits of Polymorphism in Database Programming Languages. - David W. Stemple; Leonidas Fegaras; Tim Sheard; Adolfo Socorro (EDBT, 1990)

Module Composition and System Design for the Object Paradigm. - Joseph A. Goguen; Adolfo Socorro (J. Object Oriented Program., 1995)