Formal Modelling in Electronic Commerce - Steven O. Kimbrough, D.J. Wu ((International Handbooks on Information Systems))