Formalizing Objects for Databases using ADABTPL

David W. Stemple, Adolfo Socorro, Tim Sheard. Formalizing Objects for Databases using ADABTPL. In OODBS. pages 110-128, 1988.

Abstract

Abstract is missing.