Ehikioya, S. A. A Formal Perspective to Modelling Electronic Commerce Transactions. Rev. colomb. comput. 2001, 2, 1-20.