Jeremy Jacob The Basic Integrity Theorem. 89-97 1991 CSFW db/conf/csfw/csfw1991.html#Jacob91