Sylvanus A. Ehikioya, Ken Barker: A Formal Specification Strategy for Electronic Commerce. IDEAS 1997: 201-210