A formal versioning approach for distributed objectbases | IEEE Conference Publication | IEEE Xplore