Mustaque Ahamad, Francisco J. Torres-Rojas, Rammohan Kordale, Jasjit Singh, Shawn Smith: Detecting Mutual Consistency of Shared Objects. WMCSA 1994: 44-50