An Event Algebra Based System for Verifying E-Commerce Transactions. - Renyi Zhao; V. Lakshmi Narasimhan (J. Res. Pract. Inf. Technol., 2005)