A formal yet practical approach to electronic commerce | IEEE Conference Publication | IEEE Xplore