Douglas Stott Parker Jr. Gerald J. Popek Gerard Rudisin Allen Stoughton Bruce J. Walker Evelyn Walton Johanna M. Chow David A. Edwards Stephen Kiser Charles S. Kline Detection of Mutual Inconsitency in Distributed Systems. 172-184 1981 Berkeley Workshop db/conf/berkeley/berkeley81.html#ParkerPRSWWCEKK81