Xiaolei Gao, Huaikou Miao. Proving Total Correctness of Refinement Based on Tableau. In IEEE International Symposium on Parallel and Distributed Processing with Applications, ISPA 2009, Chengdu, Sichuan, China, 10-12 August 2009. pages 702-707, IEEE, 2009. [doi]