Liu, Zhiming.

• Fault-tolerant programming by transformations
• Guo nei you zheng bao jian ye wu