J. Eliot B. Moss Marc H. Graham Nancy D. Griffeth ACM SIGMOD Conference 1986 15 2 72 83 There are many examples of actions on abstract data types which can be correctly implemented with nonserializable and nonrecoverable schedules of reads and writes. We examine a model of multiple layers of abstraction that explains this phenomenon and su