X.: A logical semantics for object-oriented databases (1993)

by J Meseguer, Qian
Venue:In: Proc. of the ACM SIGMOD Int. Conf. on Management of Data