A Model for Visual Specification of E-contracts | IEEE Conference Publication | IEEE Xplore