Introduction to the HICSS'99 minitrack on formal aspects of digital commerce | IEEE Conference Publication | IEEE Xplore