Static Verification Of Data-Consistency Properties. by Nicholas A. Kidd