An Assertional Characterization of Serializability and Locking. - Ernest Mc Curley (1988)