Introduction To The 1998 HICSS Minitrack On Formal Aspects Of Digital Commerce | IEEE Conference Publication | IEEE Xplore