Mike Livesey Colin Allison Coherence in Distributed Persistent Object Systems. 186-197 1992 POS db/conf/pos/pos92.html#LiveseyA92 POS/1992/P186.pdf