S. A. Ehikioya, «A formal perspective to modelling electronic commerce transactions», Rev. colomb. comput., vol. 2, n.º 2, pp. 1–20, dic. 2001.