Simon R. Wiseman The Control of Integrity in Databases. 191-204 1990 DBSec db/conf/dbsec/dbsec90.html#Wiseman90