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
Modelling constructs for specifying semantic integrity are reviewed,
and their implicit execution semantics discussed. An integrity mainte-
nance model based on these construc...