A Step Towards the Automatic Maintenance of the Semantic Integrity of Databases. - Richard A. Frost; S. Whittaker (Comput. J., 1983)