An update protocol for an OODB with integrity. - Richard Bigelow; Patrick Thompson; Carl Tsai; Hirohisa Yamaguchi (COMPSAC, 1991)