David W. Stemple Adolfo Socorro Tim Sheard Formalizing Objects for Databases using ADABTPL. 110-128 1988 OODBS db/conf/oodbs/oodbs88.html#StempleSS88