Barbara_H.__Liskov
A behavioral notion of subtyping
Behavioral subtyping using invariants and constraints
Fault-tolerant distributed garbage collection in a client-server object-oriented database
Weak Consistency: A Generalized Theory and Optimistic Implementations for Distributed Transactions