Barclay, Peter J., Kennedy, Jessie, "Semantic integrity for persistent objects", , 1992