Barclay, P. J. & Kennedy, J. (1992). Semantic integrity for persistent objects. Information and Software Technology. 34, 533 - 541. doi:10.1016/0950-5849(92)90147-H. ISSN 0950-5849
Modelling constructs for specifying semantic integrity are reviewed,
and their implicit execution semantics discussed. An integrity mainte-
nance model based on these construc...