Design and Performance of an Assertional Concurrency Control System. - Arthur J. Bernstein; David Scott Gerstl; Wai-Hong Leung; Philip M. Lewis (ICDE, 1998)