Chao Cai Zongyan Qiu Hongli Yang Xiangpeng Zhao Global-to-Local Approach to Rigorously Developing Distributed System with Exception Handling. 238-249 2009 24 J. Comput. Sci. Technol. 2 http://dx.doi.org/10.1007/s11390-009-9220-9 db/journals/jcst/jcst24.html#CaiQYZ09