Ehikioya, S.A. 2001. A formal perspective to modelling electronic commerce transactions. Revista Colombiana de Computación. 2, 2 (dic. 2001), 1–20.