Rigorous Development of Fault-Tolerant Transactions for Information Retrieval Systems Using Event-B

Hong-Jiang Gao, Hong Sun, Bang-Hai Xu, Ying He and Zheng Qin

Information Technology Journal 7 ( 6 ): 868 - 875 , 2008