R. Das Alan Fekete Modular Reasoning About Open Systems: A Case Study of Distributed Commit. 30-39 1993 conf/iwssd/1993 IWSSD db/conf/iwssd/iwssd1993.html#DasF93