Stemple, D.; Socorro, A. and Sheard, T. "Formalizing Objects for Databases Using ADABTPL" pp110-128

(1988) In Proceedings of the Second International Workshop on Object-Oriented Database Systems Sept 1988  

Languages mentioned ADABTPL {1987}