Janusz R. Getta Leszek A. Maciaszek Igor Hawryszkiewycz Correctness of Asynchronous Distributed Cooperation. 55-65 1995 CoopIS db/conf/coopis/coopis95.html#GettaMH95