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